Математическая логика и теория алгоритмов

Логика непобедима, потому что одолеть ее можно только с помощью логики. О. Хевисайд Глава 2. Л О Г И К А П Р Е Д И К А Т О В В то время как заурядный наблюдатель видит Лишь ряд разрозненных, отдельных щен И бродит огцупью средь них всю окизнь, Способны вы сводить их воедино. Г. Ибсен § 1. Понятие предиката Логика предикатов представляет собой развитие логики выска­ зываний. Она содержит в себе всю логику высказываний, т.е. элемен­ тарные высказывания, рассматриваемые как величины, которые при­ нимают значения И либо Л. Но помимо этого, язык логики предикатов вводит в рассмотрение утверждения, отнесенные к предметам, т.е. производится более детальный анализ предложений. Рассмотрение логики предикатов вызвано тем, что логика высказываний не позволя­ ет моделировать рассуждения всех видов, в частности, рассуждения с использованием понятий «каждый», «некоторый». Отметим, что ло­ гика предикатов тоже не охватывает всевозможных случаев рассуж­ 46