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

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

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

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

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

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

a);

b) ;

c) ;

d) ;

e) ;

f) .

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

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

Виконання практичної роботи. Коментар роботи студентів
Лексична «хвилинка» • Вкажіть «зайві» слова, що не мають ознак решти слів, ужитих в рядку: малина, явір, лисиця, ромашка; доброзичливість, охайність, вимогливість, довгий; — сукня, матеріал ...

Кафедра “Економіка підприємства”
Технологічний інститут Східноукраїнського національного університету імені Володимира Даля (м. Сєвєродонецьк) - вищий навчальний заклад ІV рівня акредитації, структурний підрозділ Східноукр ...

Нетрадиційні форми виховної роботи в профілактиці наркоманії та захворювання на ВІЛ/СНІД
Розглянемо деякі форми організації виховної роботи у школі що можуть стати доречними і в профілактичній роботі, якщо змістовно спрямувати на висвітлення проблем, що пов’язані з наркоманією ...