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

. Тобто предикат тотожно

істинний, при всіх з області інтерпретації . Це означає, що існує таке, що. Оскільки це

виконується при всіх , то предикат тотожно істинний. Тоді і. Отримали протиріччя. Формула не виконувана. h) Нехай виконувана: у деякій інтерпретації маємо

. Звідси існує , що. Далі існує у0, що. Отже, предикат повинен бути таким, щоб для деяких та виконувалось: та . Це може бути довільний спростовний предикат, наприклад на множині натуральних чисел. Тоді існують, наприклад, та , що . Отже, дана формула виконувана і її можна у даній інтерпретації прочитати так: «Серед натуральних чисел є більші за 5 і не більші за 5».

Приклад 7. Встановити, які з формул є тавтологіями логіки предикатів:

a);

b) ;

c) ;

d) ;

e) ;

f) .

►а) Очевидно, що формула не тавтологія, бо перетворюється у хибне висловлення, коли предикат Р(х) виконуваний і спростовний, тобто якщо і. Наприклад, Р(х)= «х-парне число» на множині N.b) Припустимо, що формула не тавтологія: існує на деякій множині М предикат , що, тобто і. З першого висловлення за означенням квантора існування випливає, що існує таке, що звідки випливає, що предикат (*) тотожно істинний. З другого висловлення випливає, що існуєтаке, що, а це означає, що предикат (**) тотожно хибний. Оскільки та належать області інтерпретації, то з (*) маємо а з (**) – що. Це протиріччя доводить, що формула тавтологія, с) Нехай Q (x, y)= «x, y» на множині натуральних чисел. Тоді (для кожного натурального числа існує більше за нього) і (не існує найбільшого натурального числа). У даній інтерпретації формула перетворюється у хибне висловлення, тому не є тавтологією.d) Нехай дана відкрита формула не тавтологія: існують предикати і, що. Звідси та. Предикат не тотожно істинний, тому існує, що. Не отримали протиріччя, але маємо підказку, що інтерпретація, у якій формула перетвориться у хибне висловлення, повинна бути такою, щоб , і .

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

Педагогічна цінність української байки як літературного жанру
Увага до байки в школі обумовлена поруч її достоїнств. а) Байка містить у собі більші можливості для морального виховання учнів. Кожна байка - влучно намальована сценка з життя, на прикладі ...

Дослідження питання вивчення священних книг в методиці літератури та шкільної практики
Вивчення священних книг у методиці викладання світової літератури є однією з важливих проблем сучасної літератури. Адже вивчення священних текстів в загальноосвітній школі має виключно прос ...

Приклади розв’язання практичних завдань до підрозділів модуля логіки предикатів
Приклад 1. Які з наведених речень є предикатами (для предикатів вказати місність): «х паралельна прямій l (х – довільна пряма на площині); «х є притокою у» (х, у – назви всіх можливих рік); ...