- •Мова логіки висловлень
- •Контрольні питання
- •Задачі та вправи
- •Інтерпретації формули логіки висловлень
- •Контрольні питання
- •Задачі та вправи
- •Еквівалентні формули логіки висловлень. Нормальні форми
- •Контрольні питання
- •Задачі та вправи
- •Логічне слідування
- •Контрольні питання
- •Задачі та вправи
- •Методи перевірки тотожної хибнОсті й тОтожної істинНості формул логіки висловлень
- •Метод перевірки суперечності й тавтологічності формул шляхом зведення до диз’юнктивної та кон’юнктивної нормальної форми
- •Контрольні питання
- •Метод Девіса й Патнема
- •Контрольні питання
- •Метод резолюцій
- •Контрольні питання
- •Метод двійкових діаграм рішень
- •Контрольні питання
- •Задачі та вправи
- •Приклади перевірки логічної правильності міркування
- •Перевірка правильності міркування за допомогою таблиць істинності
- •Перевірка правильності міркування шляхом побудови диз’юнктивної нормальної форми або кон’юнктивної нормальної форми
- •Перевірка правильності міркування методом Девіса й Патнема
- •Перевірка правильності міркування методом резолюцій
- •Перевірка правильності міркування шляхом побудови двійкової діаграми рішень
- •Контрольні питання
- •Приклади перевірки сумісності сукупності тверджень
- •Перевірка сумісності сукупності тверджень за допомогою таблиць істинності
- •Перевірка сумісності сукупності тверджень шляхом побудови диз’юнктивної нормальної форми
- •Перевірка сумісності сукупності тверджень методом Девіса й Патнема
- •Перевірка сумісності сукупності тверджень методом резолюцій
- •Перевірка сумісності сукупності тверджень шляхом побудови двійкової діаграми рішень
- •Контрольні питання
- •Скорочення, символи та позначення
- •Слова іншомовного походження
Перевірка правильності міркування методом Девіса й Патнема
За допомогою методу Девіса й Патнема перевіряється суперечність формули, поданої у вигляді множини диз’юнктів. Розглянемо задачу (2) (стор. 38). За відомим твердженням (п.2 теореми 1) формула BDH є логічним наслідком формул AB, CD, GH, ACG, якщо формула
F = (AB)(CD)(GH)(ACG)(BÚDÚH)
є суперечністю.
Щоб застосувати метод Девіса й Патнема для розв’язання цієї задачі, необхідно спочатку привести подану формулу до КНФ, а потім побудувати множину диз’юнктів за цією КНФ.
Перетворимо формулу
(AB)(CD)(GH)(ACG)(BÚDÚH)
у КНФ частинами:
(AB) = AB;
(CD) = CD;
(GH) = GH;
(BÚDÚH) = ВÙDÙØH.
Отже, маємо множину диз’юнктів: S={ØAB, CD, GH, ACG, ØВ, D, ØH}, до якої вже можна застосувати метод Девіса й Патнема. Далі ми будемо розглядати диз’юнкти як множини літер.
Перше правило (правило тавтології) не застосовне (множина S не містить тавтологічних диз’юнктів), тому використовуємо друге правило. Спочатку виберемо у множині S одиничний диз’юнкт (нехай це буде диз’юнкт {ØH}), потім викреслюємо з множини S усі диз’юнкти, що містять літеру ØH. У даному випадку такий диз’юнкт тільки один. Маємо множину S1={ØAB, CD, GH, ACG, ØВ, D}. Множина S1 не порожня, отже, тепер треба вилучити з диз’юнктів, що входять в S1, усі входження літери H. Таке входження тільки одне. Після вилучення маємо множину S2={ØAB, CD, G, ACG, ØВ, D}. Множина S2 не містить порожнього диз’юнкту, отже, застосовуємо до неї метод Девіса й Патнема, оскільки S суперечна тоді й тільки тоді, коли суперечна S2. Правило тавтології не застосовне до S2. За правилом 2 (з диз’юнктом {B}), вилучивши з S2 диз’юнкт {B}, побудуємо множину S3={ØAB, CD, G, ACG, D}, яка не є порожньою. Маємо вилучити з диз’юнктів множини S3 усі входження літери, контрарної до літери B, тобто літери В. Маємо множину S4={ØA, CD, G, ACG, D}. Ця множина не містить порожнього диз’юнкту, отже, до неї застосовуємо метод Девіса й Патнема. Шукаємо перше правило, що застосовне до S4. Це правило однолітерних диз’юнктів. За цим правилом (з диз’юнктом {ØA}) маємо множину S5={CD, G, ACG, D}. Множина S5 не порожня, тому вилучаємо з диз’юнктів цієї множини усі входження літери A. Маємо множину S6={CD, G, CG, D}. Оскільки S6 не містить порожнього диз’юнкту, застосовуємо до неї метод Девіса й Патнема. За правилом 2 (з диз’юнктом {D}) маємо множину S7={CD, G, CG}. Оскільки S7 не порожня, вилучаємо з диз’юнктів цієї множини усі входження літери D. Маємо множину S8={C, G, CG}. Оскільки S8 не містить порожнього диз’юнкту, перевіряємо її суперечність. За правилом 2 (з диз’юнктом {ØС}) маємо множину S9={G, CG}. Оскільки ця множина не порожня, вилучаємо входження літери С з диз’юнктів цієї множини. Маємо множину S10={G, G}. Оскільки S10 не містить порожнього диз’юнкту, перевіряємо її суперечність. За правилом 2 (з диз’юнктом {ØG}) маємо множину S11={G}. Оскільки ця множина не порожня, вилучаємо входження літери G з єдиного диз’юнкту {G}, що міститься у S11. Маємо множину S12={}, яка є суперечною, бо містить порожній диз’юнкт. Отже, й початкова множина диз’юнктів S суперечна.
Таким чином, формула
(AB)(CD)(GH)(ACG)(BÚDÚH)
є суперечною, тому формула BÚDÚH є логічним наслідком формул AB, CD, GH, ACG. Отже, задане міркування є логічно правильним.