- •Лекція 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. Формальна арифметика
2. Класифікація формул логіки предикатів
Якщо в формулу логіки предикатів замість кожної предикатної змінної підставити конкретний предикат, визначений на деякій множині М, то формула перетвориться в конкретний предикат, заданий на множині М. При цьому, якщо вихідна формула була замкненою, то одержаний предикат буде нульмісним, тобто буде висловленням. Якщо ж вихідна формула була відкритою, тобто містила вільні входження предметних змінних, то в результаті підстановки одержимо предикат, залежний від деяких предметних змінних. Якщо тепер підставити замість предметних змінних конкретні предмети із множини М, то одержимо конкретне висловлення.
Перетворення формули логіки предикатів у висловлення описаним вище способом називається інтерпретацією цієї формули на множині М.
Приклад. Дамо інтерпретацію формулі на множині натуральних чисел. Замість предикатної змінної Р(х, у) підставимо предикат “х < у” . Тоді вихідна формула перетвориться на істинне висловлення .
Означення 11.2. Формула логіки предикатів називається виконуваною (спростовною) на множині М, якщо при деякій підстановці замість предикатних змінних конкретних предикатів, визначених на цій множині, вона перетворюється на виконуваний (спростовний) предикат.
Іншими словами, формула виконувана (спростовна) на множині М, якщо існує істинна (хибна) її інтерпретація на множині М.
Означення 11.3. Формула логіки предикатів називається тотожно істинною (тотожно хибною) на множині М, якщо при будь-якій підстановці замість предикатних змінних конкретних предикатів, визначених на цій множині, вона перетворюється на тотожно істинний (тотожно хибний) предикат.
Означення 114. Формула логіки предикатів називається загальнозначущою, або тавтологією (тотожно хибною, або суперечністю), якщо при будь-якій підстановці замість предикатних змінних яких завгодно конкретних предикатів, заданих на будь-яких множинах, вона перетворюється в тотожно істинний (тотожно хибний) предикат.
Той факт, що формула F є тавтологією позначається, як і в алгебрі висловлень, ╞F.
Знаходження тавтологій є однією з важливих задач логіки предикатів. У алгебрі висловлень існує загальний метод визначення, є чи ні дана формула тавтологією. Це метод побудови таблиць істинності. У логіці предикатів такого загального методу не існує. Кожна формула підлягає дослідженню на тотожну істинність індивідуальним методом. Справа в тому, що кожне висловлення має лише одно із двох значень істинності: “істина” або “хиба”, а значення предиката залежить від вибору значень його предметних змінних, який, взагалі кажучи, можна зробити нескінченним числом способів.
Має місце наступна теорема.
Теорема 11.1. Будь-яка формула, що одержується із тавтології алгебри висловлень заміною в ній пропозиційних змінних довільними предикатними змінними, є тавтологією алгебри предикатів.
Доведення. Нехай F(X1, Х2, ..., Хп) тавтологія алгебри висловлень і Р1(х1, х2, ..., ), Р2(у1, у2, ..., ), ..., Рп(z1, z2, ..., ) предикатні змінні. Підставимо їх в дану формулу замість пропозиційних змінних Х1, Х2, ..., Хn. Одержимо формулу логіки предикатів:
F(Р1(х1, х2, ..., ), ..., Рп(z1, z2, ..., )).
Якщо тепер замість предикатних змінних підставити конкретні предикати A1(х1, х2, ..., ), ..., Aп(z1, z2, ..., ), то формула перетвориться в конкретний предикат F(A1(х1, х2 , ..., ), ..., Aп(z1, z2, ..., )), який є тотожно істинним, тому що підстановка замість предметних змінних х1, ..., , ..., z1, ..., довільних конкретних предметів a1, ..., , c1, ..., із відповідних множин перетворює даний предикат у висловлення F(A1(а1, а2 ..., ),..., Aп(с1, с2,..., )), яке може бути одержано також в результаті підстановки у вихідну тавтологію F(X1, Х2, ..., Хп) алгебри висловлень замість пропозиційних змінних Х1, Х2, ..., Хп конкретних висловлень A1(a1, ..., ), ..., Aп(c1,..., )), і тому істинно. Отже, формула F(P1, P2, ..., Рп) логіки предикатів є тавтологією.