Добавил:
СПбГУТ * ИКСС * Программная инженерия Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Ответы на экзаменационные вопросы / Ответы на экзаменационные вопросы по математической логике.docx
Скачиваний:
166
Добавлен:
04.07.2020
Размер:
163.65 Кб
Скачать

13. Теорема о том, что любая тавтология выводима в ив

Тавтология — тождественно истинное высказывание.

Теорема. Если формула тождественно истинна / является тавтологией, то она выводима.

Доказательство.

[Для доказательства этой теоремы нужна лемма 12-го вопроса!]

Будем использовать лемму и .

По свойству ИВ №2 («если , то ») — переносим два раза влево:

По уже доказанному в 9-ом вопросе утверждению («»):

По уже доказанному в 9-ом вопросе утверждению («»):

Далее по аксиоме А3:

По свойству ИВ №2 («если , то ») — переносим два раза влево:

По свойству №3 («лишняя формула не мешает») — добавляем :

По свойству №4 («удаление выводимой формулы») — так как и , то удаляем :

По теореме дедукции («если , то ») — переносим два раза вправо:

Следствие. Если и , то .

Применяя теорему о дедукции к условиям, получим:

и .

к (1) и (2): .

к (3) и (4): .

Теперь перейдём к основному доказательству.

Пусть тождественно истинная формула и — список её переменных. Тогда при любом наборе значение формулы на этом наборе (по условию формула тождественно истинна). Таким образом, по лемме имеем:

(1)

Так как в любом случае будет равно 1, то из (1) будем иметь две секвенции (для и ):

Отсюда по доказанному ранее «если и , то », получим:

Далее точно также из секвенции (2) можно убрать .

Продолжая этот процесс, получим (то есть выводится из аксиом). Теорема доказана.

14. Полнота и непротиворечивость ив

Некоторая теория называется противоречивой, если существует формула в этой теории такая, что из аксиом в ней можно вывести как , так и . В противном случае теория называется непротиворечивой.

Теорема (о непротиворечивости ИВ). В теории ИВ невозможно вывести из аксиом одновременно формулы и .

Доказательство. Если выводима (из аксиом), то она тождественно истинна (см. 11-ый вопрос), значит не является тождественно-истинной ( на любом наборе переменных равна 0), а это значит (см. 13-ый вопрос), что не выводима (из аксиом).

Замечание. Мы доказали, что теория ИВ непротиворечива. Однако это доказательство связано с тем, что формулы в ИВ (в возможной интерпретации) принимают лишь два значения 0 и 1. Сравнительно нетрудно аксиоматически ввести арифметику. Однако в ней формулы уже могут принимать счётное множество значений (то есть по крайней мере все целые числа). Гёдель показал, что невозможно доказать противоречивость или непротиворечивость арифметики. После этого про любую науку доказывают или опровергают утверждение: данная наука непротиворечива, если непротиворечива арифметика.

Теорема (о полноте ИВ). ИВ — полная теория в узком смысле слова.

ФАТ называется полной в узком смысле, если добавление любой не выводимой формулы в качестве аксиомы приводит к противоречивой теории.

Доказательство (от противного).

Пусть — какая-нибудь невыводимая формула. Докажем, что присоединение к аксиомам приводит к противоречивой теории.

В ИВ — 3 аксиомы: . В новой теории высказываний — 4 аксиомы: . Выводимость в этой теории будем обозначать . Требуется доказать, что .

Пусть — набор переменных формулы . Так как невыводима в ИВ из аксиом, значит она не тождественно истинна (см. 11-ый вопрос), следовательно, она принимает значение 0 на каком-то наборе значений переменных , то есть .

Возьмём какую-нибудь новую переменную . Введем следующие формулы:

Тогда .

Пусть теперь — произвольная формула в ИВ, а — её отрицание. Тогда по определению импликации тождественно истинны формулы и . Так как — аксиома, то применив правило к (1) и (3), а также (2) и (3), получим, что и . Это и значит, что теория противоречива, и теорема доказана.