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

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

Численні висловів

У цьому і наступному розділах наведено дуже короткий вступ до деяких з основних понять логіки У справжньому розділі розглядається числення висловів, а в наступному – числення предикатів Але слід відразу ж зазначити, що з точки зору розглянутої теми числення висловів в кінцевому результаті не має надто великого значення головна основне завдання поточного розділу насправді полягає […]