- •Мова логіки висловлень
- •Контрольні питання
- •Задачі та вправи
- •Інтерпретації формули логіки висловлень
- •Контрольні питання
- •Задачі та вправи
- •Еквівалентні формули логіки висловлень. Нормальні форми
- •Контрольні питання
- •Задачі та вправи
- •Логічне слідування
- •Контрольні питання
- •Задачі та вправи
- •Методи перевірки тотожної хибнОсті й тОтожної істинНості формул логіки висловлень
- •Метод перевірки суперечності й тавтологічності формул шляхом зведення до диз’юнктивної та кон’юнктивної нормальної форми
- •Контрольні питання
- •Метод Девіса й Патнема
- •Контрольні питання
- •Метод резолюцій
- •Контрольні питання
- •Метод двійкових діаграм рішень
- •Контрольні питання
- •Задачі та вправи
- •Приклади перевірки логічної правильності міркування
- •Перевірка правильності міркування за допомогою таблиць істинності
- •Перевірка правильності міркування шляхом побудови диз’юнктивної нормальної форми або кон’юнктивної нормальної форми
- •Перевірка правильності міркування методом Девіса й Патнема
- •Перевірка правильності міркування методом резолюцій
- •Перевірка правильності міркування шляхом побудови двійкової діаграми рішень
- •Контрольні питання
- •Приклади перевірки сумісності сукупності тверджень
- •Перевірка сумісності сукупності тверджень за допомогою таблиць істинності
- •Перевірка сумісності сукупності тверджень шляхом побудови диз’юнктивної нормальної форми
- •Перевірка сумісності сукупності тверджень методом Девіса й Патнема
- •Перевірка сумісності сукупності тверджень методом резолюцій
- •Перевірка сумісності сукупності тверджень шляхом побудови двійкової діаграми рішень
- •Контрольні питання
- •Скорочення, символи та позначення
- •Слова іншомовного походження
Перевірка сумісності сукупності тверджень методом Девіса й Патнема
Перевіримо суперечність формули (A B) (B C) (A C) (A C) методом Девіса й Патнема. Для цього спочатку приведемо цю формулу до КНФ. Маємо:
F = (A B) (B C) (A C) (A C).
Вилучимо входження зв’язки (за допомогою тотожності F1F2= (F1F2)(F2F1)):
F = (A B) (B A) (B C) (A C) (A C).
Вилучимо усі входження зв’язки (за допомогою тотожності F1F2=F1F2):
F = ( A B) ((B) A) (B C) ((A) C) (A C).
Виконаємо спрощення (за допомогою тотожності Ø(F1) = F1):
F = ( A B) (B A) (B C) (A C) (A C).
Отже, формула F подана у КНФ. Запишемо F у вигляді множини диз’юнктів:
S = {A B, B A, B C, A C, A C }.
У множині S немає тавтологічних диз’юнктів (отже, не застосовне правило тавтології), немає одиничних диз’юнктів (не застосовне правило однолітерних диз’юнктів), немає чистих літер (не застосовне правило чистих літер). Єдиним застосовним до S правилом є правило розщеплення. Застосуємо це правило (вибравши за L літеру А). Маємо:
S1={B, С, C, B C}, S2={B, B C}.
Перевіримо суперечність множини S1. Правило тавтології до S1 не застосовне. Але застосовне правило однолітерних диз’юнктів (S1 містить одиничний диз’юнкт {В}). В результаті маємо множину S3={C, С}, до якої застосовне правило однолітерних диз’юнктів (з диз’юнктом {C}). Маємо: S4={}. Таким чином, множина диз’юнктів S4 суперечна, отже, й S1 суперечна.
Тепер перевіримо суперечність множини S2. Правило тавтології до S2 не застосовне. Але застосовне правило однолітерних диз’юнктів (S2 містить одиничний диз’юнкт {В}). В результаті маємо множину S5={C}, до якої застосовне правило однолітерних диз’юнктів (з диз’юнктом {C}). Маємо: S6=. Це означає, що множина S6 несуперечна, отже, й S2 несуперечна. Але тоді й S несуперечна. А це означає, що формула F не є тотожно хибною, тобто має модель. Але тоді подана сукупність тверджень сумісна.
Перевірка сумісності сукупності тверджень методом резолюцій
Перевіримо суперечність формули
F=(AB)(BC)(AC)(AC)
методом резолюцій. Використаємо подання F у вигляді множини диз’юнктів S:
S = {A B, B A, B C, A C, A C }.
Далі для зручності будемо писати диз’юнкти у стовпчик, нумеруючи їх.
1. A B
2. B A
3. B C
4. A C
5. A C.
Побудуємо усі резольвенти диз’юнктів 1-5:
6. В В (резольвента 1 та 2)
7. A А (резольвента 1 та 2)
8. A С (резольвента 1 та 3)
9. В С (резольвента 1 та 4)
10. B С (резольвента 1 та 5)
11. В A (резольвента 3 та 5)
12. А (резольвента 4 та 5).
Вилучимо тавтологічні диз’юнкти (6 та 7) та ті диз’юнкти, що поглинаються іншими: диз’юнкт 12 поглинає диз’юнкти 2, 4, 5, 11. Отже, залишаються такі диз’юнкти:
1. A B 9. В С
3. B C 10. B С
8. A С 12. А.
Побудуємо резольвенти цих диз’юнктів (не застосовуючи, звичайно, правило резолюції до пари диз’юнктів 1 та 3).
13. В (резольвента 1 та 12)
14. С (резольвента 3 та 9)
15. С С (резольвента 3 та 10)
16. В В (резольвента 3 та 10)
17. A В (резольвента 8 та 10)
18. С (резольвента 8 та 12)
19. В (резольвента 9 та 10).
Вилучимо тавтологічні диз’юнкти (15, 16) та ті диз’юнкти, що поглинаються іншими: диз’юнкт 13 поглинає диз’юнкти 1, 9, 10, 17, 19; диз’юнкт 14 – диз’юнкти 3, 8, 18. Отже, залишаються такі диз’юнкти:
12. А
13. В
14. С.
Правило резолюції не застосовне до жодної пари цих диз’юнктів.
Таким чином, не існує виводу порожнього диз’юнкту з множини диз’юнктів S, отже, множина диз’юнктів S несуперечна, а це означає, що формула F не є тотожно хибною, а подана сукупність тверджень сумісна.