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



Выдержка из книги Ершов Ю.Л. Математическая логика


Понятие доказательства ( в виде дерева) определяется обычным образом. ЛГ - формула исчисления высказываний, но, вообще говоря, не является формулой исчисления резольвент.

(cкачать страницу)

Смотреть книгу на libgen

 Понятие доказательства ( в виде дерева) определяется обычным образом.  ЛГ  -  формула исчисления высказываний,  но,  вообще говоря,  не является формулой исчисления резольвент.