правило, определяющее переход от посылок к следствиям;более точно - правило, устанавливающее определенного вида соответствиемежду некоторой совокупностью высказываний (формул), называемым посылками,и одним определенным высказыванием (формулой), называемым логическимследствием из этих посылок.
|
