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

Заработок на криптовалютах по сигналам. Больше 100% годовых!

Трейдинг криптовалют на полном автомате по криптосигналам. Сигналы из первых рук от мощного торгового робота и команды из реальных профессиональных трейдеров с опытом трейдинга более 7 лет. Удобная система мгновенных уведомлений о новых сигналах в Телеграмм. Сопровождение сделок и индивидуальная помощь каждому. Сигналы просты для понимания как для начинающих, так и для опытных трейдеров. Акция. Посетителям нашего сайта первый месяц абсолютно бесплатно.

Обращайтесть в телеграм LegionCryptoSupport

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

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

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

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

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

a);

b) ;

c) ;

d) ;

e) ;

f) .

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

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

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

Етапи роботи над художнім твором
Визначаючи напрямки роботи над художнім твором і її основні етапи, вчитель керується освітньо-виховними завданнями уроків класного читання, специфікою художнього твору як твору мистецтва і ...

Методика організації активного відпочинку дітей дошкільного віку
В ході дослідження ми з’ясували, що робота з організації та проведення активного відпочинку у дошкільному навчальному закладі №46 „Подоляночка” виявилась недостатньою для повноцінного фізич ...