Каждая формула, входящая в антецедент ( сукцедент) какой-либо секвенции из доказательства в 01, не содержащего ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Клини С.К. Введение в математику


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

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

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

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