правило, определяющее переход от посылок к следствиям; более точно - правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний (формул), называемым посылками, и одним определенным высказыванием (формулой), называемым логическим следствием из этих посылок.
Значение ПРАВИЛО ВЫВОДА в Современном толковом словаре, БСЭ
Что такое ПРАВИЛО ВЫВОДА
БСЭ. Современный толковый словарь, БСЭ. 2003