ПРАВИЛО ВЫВОДА

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