- •Лекція 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. Формальна арифметика
Лекція 13 План
-
Проблеми установлення загальнозначущості й виконуваності формул логіки предикатів.
-
Вплив потужності множини і структури формули на її виконуваність.
-
Розв’язання проблеми для -формул і -формул.
1. Проблеми установлення загальнозначущості й виконуваності формул
У 1936 році А. Чорчем було доведено, що не існує загального алгоритму, який дозволяв би для кожної формули логіки предикатів установити, чи буде вона виконуваною або загальнозначущою. Проте, для деяких окремих видів формул дана проблема є розв’язною.
Якщо формула логіки предикатів розглядається на скінченній множині, то замість її предикатних змінних можуть підставлятися конкретні предикати, визначені на цій скінченній множині. Враховуючи, що операції квантифікації на скінченній множині зводяться до кон’юнкції й диз’юнкції, задача про виконуваність й загальнозначущість формули логіки предикатів на скінченній множині зводиться до задачі про виконуваність й загальнозначущість деякої формули алгебри висловлень. А ця задача є ефективно розв’язною.
Розглянемо, наприклад, формулу логіки предикатів
і з’ясуємо, буде вона виконуваною чи загальнозначущою на двохелементній множині {a, b}. Нагадаємо, що оскільки висловлення на заданій множині еквівалентно кон’юнкції , а висловлення диз’юнкції , то дана формула рівносильна формулі
[(Р(а, а) Р(а, а)) (Р(b, а) Р(а, а))]
[(Р(a, b) Р(b, b)) (Р(b, b) Р(b, b))].
Остання формула є формулою алгебри висловлень. Щоб це побачити більш чітко, позначимо пропозиційні змінні Р(а, а), Р(a, b), Р(b, а), Р(b, b) відповідно буквами P, R, Q, S. Тоді одержана формула матиме вигляд
[Р Р) (Q Р)] [(R S) (S S)].
Шляхом побудови відповідної таблиці істинності можна установити, що ця формула є виконуваною, але не є тавтологією. Таким чином, розглядувана формула логіки предикатів на двохелементній множині виконувана, але не загальнозначуща.
За виконуваністю формули логіки предикатів на деякій множині не можна робити висновок про її виконуваність на її підмножинах. Наведемо приклад формули, виконуваної на нескінченній множині й не виконуваній на жодній скінченній множині.
Нехай маємо
.
Ця замкнена формула характеризує нерефлексивність (другий член кон’юнкції) й транзитивність (третій член кон’юнкції) деякого двомісного предикату Р(х, у). Вона перетворюється в істинне висловлення, якщо в ній замість предикатної змінної підставити, наприклад, двомісний предикат “х<у”, визначений на множині натуральних чисел, тобто
.
Можна показати, що формула, яка розглядається, не виконувана на жодній скінченній множині.
2. Вплив потужності множини і структури формули на її виконуваність
Якщо деяка формула виконувана або тотожно істинна на деякій множині, то те ж саме буде мати місце й на будь-якій множині рівнопотужній даній. Це випливає із наявності взаємно однозначної відповідності між елементами рівнопотужних множин. Тому проблема установлення виконуваності й загальнозначущості формул логіки предикатів полягає в тому, щоб відповісти на питання, для множин якої потужності дана формула виконувана (загальнозначуща), а для яких ні. Частково відповідь на це питання дає теорема Льовангейма.
Теорема 13.1 (Льовенгейма про виконуваність формул ЛП). Якщо формула логіки предикатів виконувана на якій не будь нескінченній множині, то вона виконувана й на зчисленній множині.
Поте, позитивне вирішення проблеми виконуваності формули на зчисленній множині не є достатнім для її виконуваності на скінченній множині (див. приклад попередньої лекції). Якщо формула виконувана на деякій скінченній множині, то із цього не випливає її виконуваність на скінченній множині з меншою кількістю членів. Розглянемо, наприклад, таку формулу . Якщо в значенні предиката R(x, y) взяти предикат “х ≠ у”, то можна установити виконуваність даної формули на трьохелементній множині й не виконуваність на двохелементній множині.
Проте, проблема виконуваності має наступну загальну властивість.
Теорема 13.2. Якщо формула логіки предикатів виконувана на деякій множині, то вона виконувана також і на кожній множині з більшою кількістю елементів.
Не порушуючи загальнасті, вважатимемо, що всі формули, про які йде мова, замкнені. У 1930-их роках Сколем довів наступну теорему.
Теорема 13.3 (Сколема). Кожну формулу логіки предикатів можна звести до пренексної нормальної форми, кванторна приставка якої має вид (нормальна форма Сколема), котра відносно виконуваності рівнозначна вихідній формулі.
Це означає, що при розв’язуванні проблеми виконуваності, можна обмежитися лише формулами, які мають приставки указаного виду.
Є й інші пропозиції зведення даної проблеми до проблеми виконуваності формул деяких спеціальних видів (Льовенгейм, Кальмар, Гедель, Аккерман).
Для формул, які містять лише одномісні предикатні змінні має місце наступна теорема.
Теорема 13.4. Якщо формула логіки предикатів, яка містить лише одномісні предикатні змінні, виконувана, то вона виконувана на кожній множині, що містить не більше елементів, де n число різних предикатних змінних у цій формулі.
Із цієї теореми випливає такий наслідок.
Наслідок 13.1. Якщо замкнена формула в яку входять лише одномісні предикатні змінні тотожно істина на множині із елементів, то вона загальнозначуща.
Дійсно, припустимо, що формула не загальнозначуща. Тоді її заперечення є виконуваною формулою. Отже, згідно теореми 13.4, ця формула виконувана на скінченній множині із m елементів, де m< . За теоремою 13.2 вона виконувана й на множині із елементів. Звідси випливає, що на цій множині формула те тотожно істинна, що суперечить умові.
Таким чином, задача про загальнозначущість формули, котра містить лише одномісні предикатні змінні, зводиться до задачі про тотожну істинність цієї формули на скінченній множині. У свою чергу остання задача розв’язується шляхом зведення її до задачі про тотожну істинність деякої формули алгебри висловлень, яка має алгоритмічне розв’язання. Отже, проблема установлення загальнозначущості для класу формул, які містять лише одномісні предикати, ефективно розв’язна.
Зупинимося на проблемі загальнозначущості. Для цієї цієї проблеми розглянута вище теорема Льовенгейма формулюється так.
Теорема 13.5 (Льовенгейма прозагальнозначущість формул ЛП). Якщо формула тотожно істинна на зчисленній множині, то вона загальнозначуща.
Як і для проблеми виконуваності, перехід від нескінченних множин до скінченних і навпаки є якісним. Наступний приклад показує, що на відміну від проблеми виконуваності, розв’язаність проблеми загальнозначущості на деякій множині не тягне за собою її розв’язність на множині, яка включає в себе дану множину. Можна показати, що формула
тотожно істинна на довільній скінченній множині. Але предикат “х у” на нескінченній множині Z перетворює її в хибне висловлення
,
оскільки посилка цієї імплікації істинна, а висновок хибний.
Ситуація з проблемою розв’язності загальнозначущості, розглянута в попередньому прикладі, має місце й при переході від однієї скінченної множини до іншої, котра містить більшу кількість членів.