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

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

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

; e);

; f);

; g) ;

; h) .

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

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

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

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

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

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

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