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