Мы определим предикатную формулу с k индивидуумами, или, короче, предикатную k - формулу, пользуясь определением ... - Большая Энциклопедия Нефти и Газа



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


Мы определим предикатную формулу с k индивидуумами, или, короче, предикатную k - формулу, пользуясь определением предикатной формулы ( § 31), но с той разницей, что теперь в пункте 1 определения в качестве термов наравне с переменными рассматриваются цифры от 1 до ft; исчисление предикатов с этим понятием формулы мы назовем исчислением предикатов с k индивидуумами, или, короче, k - исчислением предикатов.

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

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

Мы определим предикатную формулу с k индивидуумами,  или,  короче,  предикатную k - формулу,  пользуясь определением предикатной формулы ( § 31),  но с той разницей,  что теперь в пункте 1 определения в качестве термов наравне с переменными рассматриваются цифры от 1 до ft;  исчисление предикатов с этим понятием формулы мы назовем исчислением предикатов с k индивидуумами,  или,  короче,  k - исчислением предикатов.