Вы находитесь на странице: 1из 7

Непротиворечивость и полнота исчисления

предикатов, проблема разрешения

Сделал и подготовил студент бакалавр 2 курса


Группы 071111-ДБ
Направления Соц. Философия: Седых Д.Д.

Проверил доцент, кандидат физико-математических наук


Бирюлина Т.В.
Введение
• В этом докладе мы разберем:
1)Что такое непротиворечивость и полнота
2) как они работают в исчислений
предикатов
3)Проблему разрешимости
Начнем с простого
• Содержательная непротиворечивость исчисления предикатов, как и исчисления
высказываний, понимается в том смысле, что выводимыми в этом исчислении могут быть
лишь тождественно истинные формулы, т.е. такие формулы, которые остаются истинными
для любой предметной области и для любой конкретной интерпретации входящих в них
предикатов. Здесь кроется некоторая неконструктивность подхода, связанная с неявно
предполагающейся возможностью перебора всех значений предметных переменных при
определении тождественной истинности. В случае бесконечной предметной области это
требует бесконечного числа шагов. Поэтому широко привлекается теоретико-
множественный подход, основанный на смысловом анализе как предметной области, так и
заданных на ней предикатов.
• Подобным путём устанавливается и формальная непротиворечивость исчисления
предикатов, как невозможность вывести в этом исчислении некоторую формулу вместе с её
отрицанием.
• В случае конечных предметных областей вопрос о содержательной полноте исчисления
предикатов сводится к соответствующему вопросу для исчисления высказываний и потому
решается конструктивно.
• Возможность формального вывода в этом исчислении любой тождественно истинной
формулы была решена К. Гёделем. Однако в случае бесконечных предметных областей
установление содержательной полноты исчисления предикатов требует привлечения
средств, выходящих за пределы конечной (финитной) математики.
Перейдем к проблемам
• Проблема непротиворечивости исчисления
предикатов заключена в доказательстве
невыводимости формулы и ее отрицания.
Исчисление предикатов непротиворечиво, т.
к. каждая доказуемая формула является
тождественно истинной формулой. Тогда ее
отрицание является тождественно ложной
формулой и при доказательстве в исчислении
предикатов ведет к противоречию.
• Проблема разрешимости есть проблема поиска
эффективной процедуры в доказательстве.
Исчисление предикатов – пример
неразрешимой формальной системы, т.к. нет
единого эффективного алгоритма в
доказательстве любой формулы. Наличие
кванторов, ограничивающих области
определения, наличие сколемовских функций не
позволяет использовать таблицы истинности.
Итог
• Тема короткая и решается за пару слайдов
• Исчисление высказываний основано на ограниченной
аксиоматике, отделено от смысла объектов
высказываний, и потому не даёт полного
представления о действительно логическом подходе к
определению истинности.
• Исчисление предикатов расширяет исчисление
высказываний привлечением предметной области.
Применение кванторов общности и существования
позволяет расширить возможности логических
преобразований на основе расширенной аксиоматики.
Литература
• Основы Мат. Логики
https://intuit.ru/studies/professional_skill_im
provements/22206/courses/763/lecture/3255
9?page=3
• Полнота и противоречивость пердикатов
https://megalektsii.ru/s4456t5.html

Вам также может понравиться