Понятие доказательства ( в виде дерева) определяется обычным образом. ЛГ - формула исчисления высказываний, но, ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Ершов Ю.Л.
Математическая логика
Понятие доказательства ( в виде дерева) определяется обычным образом. ЛГ - формула исчисления высказываний, но, вообще говоря, не является формулой исчисления резольвент.