Правила вывода

методы (модели, алгоритмы) получения следствий – предсказаний теории, не противоречащих исходным принципам тео­рии.