Численні предикатів

Тепер перейдемо до опису обчислення предикатів Основна відмінність між обчисленням висловлювань і обчисленням предикатів полягає в тому, що останнє дозволяє включати у формули переменние4 і квантори, завдяки чому ці формули стають набагато більш потужними і знаходять набагато більш широку область застосування Наприклад, наступні твердження не є допустимими формулами обчислення висловлювань, але вони допустимі в численні […]