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

Легко тепер наповнити інтерпретацію, у якій формула перетворюється на хибне висловлення, конкретним змістом. Нехай М = {5,6}, а . Тоді , і. ◄[26, ст. 48]

Приклад 6. Встановити, чи виконувані формули логіки предикатів:

; e);

; f);

; g) ;

; h) .

а) Якщо формула має простий вигляд, то для доведення її виконуваності достатньо навести приклад хоча б однієї інтерпретації, у якій вона перетвориться на істинне висловлення. Щоб формула була істинним висловленням, потрібно щоб предикат був тотожно істинним. Наприклад, при , матимемо , тому формула виконувана. b) Інколи потрібно провести аналіз формули, щоб отримати протиріччя або підказку, якою має бути інтерпретація. Припустимо, що дана замкнута формула виконувана, тобто існує деякий двомісний предикат , визначений на множині М, що формулаперетворюється у істинне висловлення: .

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

привело до протиріччя, отже, вона не виконувана і є суперечністю.с) Ця формула виконувана, оскільки вона виконувана у будь-якій інтерпретації з одноелементною множиною (див. приклад 5). d) Ця формула була б виконуваною, якби у деякій інтерпретації предикат був тотожно істинним. А це неможливо, оскільки при довільних значеннях з області інтерпретації висловлення. Отже, формула не виконувана. е) Нехай дана відкрита формула виконувана: існує предикат на множині М і елемент , що. Тоді за означенням кон’юнкції та . З другої умови випливає, що предикат тотожно істинний, тобто, перетворюється у істинне висловлення при всіх у, а, отже, і при , аз першої умови маємо . Отримали протиріччя, отже, формула не виконувана. f) Нехай формула виконувана, тобто існують предикати та , що . Це означає, що в області інтерпретації існує елемент х0, що висловлення, тобто предикат тотожно істинний. Тут нема протиріччя. Достатньо вибрати тотожно хибний предикат і буде тотожно істинним при довільному. Наприклад, при , визначених на множині дійсних чисел, та при довільному предикат В(у) тотожно істинний, бо при всіх матимем: . Отже, формула виконувана. g) Нехай виконувана: у деякій інтерпретації маємо

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

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

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

Електромагнітна індукція. Досліди Фарадея
Мета уроку: познайомити учнів із явищем електромагнітної індукції; показати значення цього явища для фізики й техніки;формувати вміння розв’язувати задачі. Тип уроку: урок вивчення нового м ...