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