- •Лекція 1 План
- •2. Висловлення. Логічні операції над висловленнями.
- •Формули алгебри висловлень
- •Лекція 2 План
- •1. Логічні значення складного висловлення.
- •2. Класифікація формул алгебри висловлень
- •3. Тавтології алгебри висловлень
- •4. Основні правила одержання тавтологій
- •Лекція 3 План
- •1.Логічна рівносильність формул
- •Розглянемо ознаку рівносильності формул.
- •2. Рівносильні перетворення формул
- •Приклад двоїстих формул: і .
- •Нормальні форми
- •1. Логічний наслідок формул
- •2. Ознаки логічного наслідку.
- •3. Дві властивості логічного наслідку.
- •4. Логічний наслідок і рівносильність формул.
- •Лекція 6 План
- •Правила логічного висновку
- •2. Знаходження наслідків з даних посилок
- •3. Знаходження посилок для даного наслідку.
- •Лекція 7 План
- •1. Числення висловлень
- •Лекція 8 План
- •1. Властивості числення висловлень
- •2. Проблема повноти
- •2. Несуперечність числення висловлень
- •3. Проблема розв’язності
- •4. Незалежність системи аксіом чв
- •1. Поняття предиката
- •2. Класифікація предикатів.
- •3. Множина істинності предиката
- •4. Рівносильність і наслідок предикатів
- •Приклад. Нехай p (n) “n ділиться на 6”, q (n) “n ділиться на 3”, тоді p q .
- •Логічні операції над предикатами.
- •Кванторні операції над предикатами.
- •Обмежені квантори.
- •1. Логічні операції над предикатами
- •Імплікація й еквівалентність двох предикатів. Імплікація визначається як такий предикат, що для будь-яких предметів , , ..., , , , ..., має місце висловлення
- •Аналогічно визначається еквівалентність двох предикатів.
- •2. Кванторні операції над предикатами
- •3. Обмежені квантори
- •1. Поняття формули логіки предикатів.
- •2. Класифікація формул логіки предикатів.
- •1. Поняття формули логіки предикатів
- •2. Класифікація формул логіки предикатів
- •Лекція 12 План
- •1. Деякі найбільш важливі тавтології логіки предикатів
- •2. Рівносильні перетворення формул
- •3. Логічний наслідок логіки предикатів
- •Лекція 13 План
- •1. Проблеми установлення загальнозначущості й виконуваності формул
- •Нехай маємо
- •2. Вплив потужності множини і структури формули на її виконуваність
- •3. Розв’язання проблеми для -формул і -формул.
- •Лекція 14 План
- •1. Формалізоване числення предикатів
- •2. Вплив потужності множини і структури формули на її виконуваність
- •3. Розв’язання проблеми для -формул і -формул.
- •Лекція 15 План
- •1. Поняття формальної аксіоматичної теорії
- •2. Метамова та метатеореми формальної аксіоматичної теорії
- •3. Інтерпретація й модель формальної аксіоматичної теорії
- •Деякі властивості формалізованого числення висловлень як формальної аксіоматичної теорії
- •Лекція 16 Властивості формалізованого числення предикатів
- •Лекція 17 План
- •1. Повнота і адекватність формалізованого числення предикатів
- •2. Неповнота формалізованого числення предикатів в абсолютному й вузькому розумінні
- •3. Теорема компактності
- •Лекція 18 План
- •1. Формальні теорії першого порядку
- •2. Теорії першого порядку з рівностями
- •3. Формальна арифметика
Лекція 17 План
-
Повнота і адекватність формалізованого числення предикатів.
-
Неповнота формалізованого числення висловлень в абсолютному й вузькому розумінні.
-
Теорема компактності.
1. Повнота і адекватність формалізованого числення предикатів
Спираючись на теорему Геделя про існування моделі, можна довести теорему, обернену до теореми виправданості, тобто твердження про те, що із семантичної вивідності випливає її синтаксична вивідність.
Дійсно, нехай Ф╞ F, Покажемо, що тоді множина формул Ф {F} суперечлива. Припустимо, що це не так. Тоді ця множина має модель М, тобто на М виконується формула F і всі формули із Ф. Із останнього, виходячи з умови Ф├ F, випливає, що на М виконується й F. Одержано суперечність. Отже, множина Ф {F} суперечлива, а тому із неї вивідна довільна формула, зокрема Ф {F} ├ F. Тоді за теоремою дедукції маємо Ф ├ {F} F. Враховуючи, що, крім того, формула (F F) F є теоремою формалізованого числення висловлень, за правилом МР робимо висновок, що Ф ├ F. Тобто, ми показали, що коли Ф╞ F, то Ф ├ F.
Враховуючи дане твердження й попередні результати, можна сформулювати наступну теорему.
Теорема 17.1 (теорема адекватності). Формула F синтаксично вивідна із множини формул Ф тоді й тільки тоді, коли вона семантично вивідна із Ф: Ф├ F Ф╞ F.
Теорема 17.2 (теорема Геделя про повноту формалізованого числення предикатів). Клас довідних замкнених формул збігається з класом загальнозначущих (тотожно істинних) формул: ├ F ╞ F.
Ця теорема безпосередньо випливає із попередньої теореми, якщо покласти Ф = ,
Вона справедлива й для відкритих формул. Дійсно, якщо ╞ F(х1, …, хn ), де х1, …, х n вільні предметні змінні в формулі F, то за означенням квантора загальності, маємо ╞ х1 … х n F(х1, …, х n ), а це, в свою чергу, рівносильно ├ х1 … хn F(х1, …, хn ). За властивостями вивідності останнє рівносильно тому, що ├ F(х1, …, х n ).
2. Неповнота формалізованого числення предикатів в абсолютному й вузькому розумінні
Теорему Геделя про повноту формалізованого числення предикатів можна трактувати як деяку зовнішню повноту формалізованого числення предикатів, його повноту стосовно логіки предикатів: у цій теорії можуть бути формально доведені всі загальнозначущі формули логіки предикатів.
Розглянемо тепер питання внутрішньої повноти формалізованого числення предикатів, тобто з’ясуємо чи буде ця теорія абсолютно повною й повною у вузькому розумінні. Оскільки множина теорем формалізованого числення предикатів збігається із множиною тавтологій (загальнозначущих формул) логіки предикатів, а в логіці предикатів існують виконувані, але не загальнозначущі формули, то формалізоване числення предикатів не є абсолютно повною теорією. Що ж стосується повноти формалізованого числення предикатів у вузькому розумінні, то числення предикатів (на відміну від числення висловлень) такої властивість не має. Для доведення наведемо приклад формули, яка не є теоремою формалізованого числення предикатів, додавання якої до аксіом числення предикатів (із збереженням правил виведення) приводить до несуперечливої формалізованої аксіоматичної теорії.
Розглянемо формулу хF(х)хF(х). Ця формула не є загальнозначущою. Тому, за теоремою Геделя про повноту вона не може бути доведена в формалізованому численні предикатів. З іншого боку, додавши до аксіом формалізованого числення предикатів цю формулу, одержимо несуперечливу формалізовану теорію Т. ЇЇ несуперечливість можна довести наступним чином.
Розглянемо модель цієї теорії на одноелементній множині М={а}. Дана формула тотожно істинна на М. Враховуючи, що на М можна визначити для кожного натурального n лише два n-місні предикати і причому і , неважко показати, що всі аксіоми нової теорії Т тотожно істинні на даній моделі й правила виведення від тотожно істинних на М формул приводять до тотожно істинних на М формул. Таким чином, доведено твердження: будь-яка теорія Т тотожно істина на одноелементній множині М. Отже, якби для деякої формули F обидві формули F і F були теоремами теорії Т, то вони були б тотожно істинними на одноелементній множині М, що неможливо. Тому розширена теорія Т несуперечлива, що й доводить неповноту у вузькому розумінні формалізованого числення предикатів.