Урок VI. Система натурального вывода. Считается, что в логике высказывание существует так называемая «разрешающая процедура», т.е. автоматизированная процедура (алгоритм), которая позволяет определить, является ли формула тождественно-ложной, тождественно-истинной или выполнимой. Такой процедурой является построение таблиц истинности (хотя этот способ и не является единственным для логики высказываний). В логике предикатов (в логике, где мы анализируем отношения внутри … Читать далее VI. Система натурального вывода