- •Лекція 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. Рівносильні перетворення формул
Означення 13.1. Дві формули F і H логіки предикаті називаються рівносильними на множині М, якщо при будь-якій підстановці в ці формули замість предикатних змінних довільних конкретних предикатів, визначених на М, формули перетворюються в рівносильні предикати. Якщо дві формули рівносильні на довільних множинах, то їх називають просто рівносильними. Рівносильність формул позначається так: F H .
Наведемо приклад двох нерівносильних формул. Покажемо, що . Дійсно, підставимо замість предикатних змінних Р(х) і Q(x) конкретні предикати А(х) і В(х), визначені на множині N, де А(х) є ”х парне”, а В(х) є ”х непарне”. Тоді ліва формула перетвориться в висловлення (нульмісний предикат) “кожне натуральне число або парне, або непарне”, яке істинне. Права формула перетворюється в висловлення (нульмісный предикат) “або кожне натуральне число парне, або кожне натуральне число непарне”, яке хибне.
Зрозуміло, що формули F і H рівносильні тоді й тільки тоді, коли формула F↔H є тавтологією: ╞.
Як і в алгебрі висловлень, можна робити заміну однієї формули на рівносильну їй іншу формулу. Перехід від однієї формули до рівносильної їй іншої називається рівносильним перетворенням вихідної формули.
Означення 13.2. Зведеною формою для формули логіки предикатів називається така рівносильна їй формула, в якій із логічних операцій алгебри висловлень є лише операції , , , причому знак заперечення відноситься лише до предикатних змінних і висловлень.
Теорема 13.1. Для кожної формули логіки предикатів існує рівносильна їй зведена формула.
Дана теорема доводиться методом математичної індукції за числом логічних зв’язок у формулі (включаючи квантори загальності й існування).
Означення 13.3. Пренексною нормальною формою формули логіки предикатів називається така її зведена форма, в якій всі квантори стоять на її початку, а область дії кожного з них поширюється до кінця формули, тобто це формула вигляду де Кi один із кванторів або (i=1, ..., n), т≤п, причому формула F не містить кванторів і є зведеною формулою. Зазначимо, що квантори в формулі взагалі можуть бути відсутніми.
Теорема 13.2. Для кожної формули логіки предикатів існує пренексна нормальна форма.
3. Логічний наслідок логіки предикатів
Означення 13.4. Формула G логіки предикатів називається логічним наслідком формули F, якщо при будь-якій інтерпретації, при якій формула F перетворюється в тотожно істинний предикат, формула G також перетворюється в тотожно істинний предикат. Цей факт записують так F ╞ G. Як і в алгебрі висловлень F ╞ G F G.
Дві формули рівносильні тоді й тільки тоді, коли кожна із них є логічним наслідком іншої.
Приклади логічних наслідків.
╞
╞
╞;
╞;
╞;
╞.
Звернемо увагу на тавтології, які виражають закони вилучення квантора загальності й введення квантора існування ╞, ╞ за умови, що предметна змінна у не входить вільно в формулу F(x). Із цих тавтологій одержуються наступні логічні наслідки: ╞ правило вилучення квантора загальності (або правило універсальної конкретизації);
╞ правило введення квантора існування (або правило екзистенціального узагальнення).