Урок X. Натуральные исчисления в модальной логике.   Для натуральных исчислений в модальной логике используются все законы и правила исчисления логики высказываний. К ним прибавляются правила кванторов и специальные правила модальной логики. В этом смысле, натуральное исчисление в модальной логике является расширением натурального исчисления логики предикатов. Итак, напомним правила логики высказываний:   Правила вывода первого … Читать далее X. Натуральные исчисления в модальной логике