- •Порівняльна характеристика демонстративних (»дедуктивних) і недемонстративних (» індуктивних) міркувань
- •До теми 2 Приклад символізації за допомогою мови логіки висловлювань
- •Аналітичні правила для логічних сполучників
- •Метод побудови аналітичних таблиць
- •Стратегії побудови аналітичних таблиць у логіці висловлювань
- •Деякі схеми рівносильностей логіки висловлювань
- •Деякі схеми правильних міркувань логіки висловлювань
- •Нормальні форми у логіці висловлювань: кнф і днф
- •Елементарна диз'юнкція і елементарна кон'юнкція
- •Кон’юнктивна нормальна форма (кнф)
- •Диз'юнктивна нормальна форма (днф)
- •Процедура зведення формул логіки висловлювань до
- •Етап 2а етап 2б
- •Як за допомогою кнф перевірити, чи є формула логічним законом?
- •Як за допомогою днф перевірити, чи є формула логічною суперечністю?
- •Застосування нормальних форм для встановлення відношень логічного слідування, рівносильності, сумісності між формулами логіки іисловлювань Застосування кнф
- •Застосування днф
- •До теми 3 Метод аналітичних таблиць як процедура напіврозв’язуваності для логіки предикатів
- •Аналітичні правила для кванторних формул
- •Часткові випадки (instances) формул
- •Аналітичні правила для кванторних формул (продовження)
- •Висновки
- •3. Cтратегії побудови аналітичних таблиць
- •Безпосередні умовиводи
- •Простий категоричний силогізм (приклади, фігури і модуси)
- •Методи встановлення правильних модусів пкс.
- •1. Семантичні методи:
- •2. Синтаксичні методи:
Застосування днф
Метод зведення формул до ДНФ також можна використовувати для перевірки наявності/відсутності відношень логічного слідування, рівносильності, сумісності між формулами логіки висловлювань.
Формули 1 і Φ2 будуть сумісними, якщо ДНФ складної формули 1 & 2 не буде логічною суперечністю. Наприклад, отримане для формул p q i p & q кон’юнктивне об’єднання:
(p q) & (p & q)
має ДНФ:
~p ~q
що не є логічною суперечністю. Отже p q i p & q є сумісними.
Між формулами 1 і Φ2 існуватиме відношення логічного слідування, якщо 1 і ~Φ2 не будуть сумісними і, отже, якщо ДНФ складної формули 1 & Φ2 буде логічною суперечністю.
За допомогою зведення до ДНФ перевіримо, чи наявне між формулами:
p (q r) і (~q & ~r) ~p
відношення логічного слідування.
[p (q r)] & ~[(~q & ~r) ~p] (~p q r) & ~[~(~q & ~r) ~p]
(~p q r) & (~q & ~r & p) (~p q r) & ~q & ~r & p
(r ~p) & ~q & p & ~r r & ~q & p & ~r.
Отримана за допомогою рівносильностей (16), (13), (14) ДНФ (у вигляді окремої ЕК) є логічною суперечністю. Тому, p (q r) i ~[(~q & ~r) ~p] не є сумісними. Отже, p (q r) ╞ ~[(~q & ~r) ~p].
Між двома формулами 1 і Φ2 наявне відношення рівносильності, якщо ДНФ формули ~(1 Φ2) виявиться логічною суперечністю.
Якщо звернемось до вищепроаналізованого прикладу встановлення рівносильності формул р q і ~q ~p і скористаємось уже отриманими результатами, тоді:
~[(p q) (~q ~p)] ~[(~p q p) & (~p q ~q)]
~ (~p q p) ~ (~p q ~q) (p & ~q & ~p) (p & ~q & q).
Отримана ДНФ виявилась логічною суперечністю. Тому, 1 2 .
До теми 3 Метод аналітичних таблиць як процедура напіврозв’язуваності для логіки предикатів
Метод аналітичних таблиць застосовують у логіці предикатів як засіб встановлення правильності міркувань. Однак, у кванторній логіці аналітичні таблиці не є процедурою розв’язуваності для правильності та інших семантичних понять. У межах логіки висловлювань аналітичні таблиці є механічною і непогрішною технікою встановлення правильності міркувань. Вони залишаються такою технікою і у кванторній логіці, якщо усі предикати є одномісними. Коли ж з’являються багатомісні предикати, ситуація змінюється. Метод аналітичних таблиць залишається механічним, але перестає бути непогрішним: деякі таблиці не завершуються після скінченного часу (тобто, застосування аналітичних правил інколи призводить до безконечних таблиць).
Така ситуація може підштовхнути до пошуків іншого методу, який таки був би процедурою розв’язуваності для логіки предикатів. Проте, у 1936 р. американський логік Alonzo Church довів: логіка предикатів є нерозв’язуваною: для неї взагалі не існує процедури розв’язуваності. Логіка предикатів є настільки могутньою, що жодна ефективна процедура не може охопити її (будь-який метод демонстрації правильності, суперечності і т.д. в межах кванторної логіки на певному етапі продукує безконечні процедури або вимагає використання немеханічних інтуїцій).