Класифікація формул логіки предикатів. Логічне слідування

⊨. Нехай міркування нелогічні, тоді всі посилки істинні, а висновок хибний: , але . Звідси випливає, що предикатитатотожно істинні, і. Оскільки повинно, то. Тоді , а це суперечить тому, що предикат тотожно істинний. Отже, висновок у даних міркуваннях отримано правильно. Проілюструйте це за допомогою кругів Ейлера.

►а) Формули утворюють окремий випадок закону контрапозиції алгебри висловлень висловлень , тому вони рівносильні b) Оскільки фрмули рінносильні, якщоїх еквіваленція є тавтологією ⊨, то при доведенні можна користуватись однією із схем прикладу 8 попереднього параграфа. Нехай існує, інтерпретація, у якій ліва частинаЦе можливо, коди предикат Р(х)→Р(у0) спростовний. Тобто, існує елемент що. Звідси і . Отже предикат Р(x) спростовний і виконуваний. Але тодіі права частина, у цій інтерпретації . Тому формули не рівносильні. Далі для доведення рівносильності формул можна використовувати раніше виведені рівносильності і намагатись звести ліву і праву частини до однакового вигляду. Наприклад,, a. Очевидно, що формули виду та не можуть бути рівносильними. с) Перетворимо ліву та праву частини: .

Очевидно, що формули не рівносильні. Легко навести приклад відповідної інтерпретації. Нехай Р(х)= «х>5», Q(x)= «x>10» – спростовні предикати на N. Тоді предикат Р(х)→Q(x) спростовний, бо перетворюється в хибне висловлення, наприклад, при х = 7. Тому ліва частина хибна, а права у цій же інтерпретації

Рекомендуємо почитати:

Закон збереження електричного заряду
Не всі явища в природі можна зрозуміти і пояснити на основі використання понять і законів механіки, молекулярно-кінетичної теорії будови речовини та термодинаміки. Досить звернути увагу на ...

Принципи до керівництва самостійною роботою має певні особливості
Самостійна робота повинна мати цілеспрямований характер. Це досягається чітким формулюванням мети роботи. Завдання вчителя полягає в тому, щоб знайти таку форму завдання, яка викликала б у ...

Запам’ятовування, відтворення та забування
Пам'ять - форма психічного відображення, яка полягає в закріпленні, збереженні та наступному відтворенні минулого досвіду, що робить можливим його повторне використання в діяльності або пов ...