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

ВНФ, матриця якої записана у кон’юнктивній нормальній формі. Така форма називається клаузальною.

- ВНФ.

Приклад 3. Записати сколемівські стандартні форми (ССФ) для всіх формул з прикладу 2.

► а) Префікс не містить кванторів існування, тому сколемівська форма рівносильна самій формулі: . У другій формулі замість х підставимо деяку сталу а: .

b) Перші два квантори існування вилучаємо, замінивши змінні х та zдеякими сталими а та b: .

с) Спочатку замість х вводимо сталу а: . Перед квантором існування по z є квантор загальності по у, тому замість z вводимо деяку сколемівську функцію z=f(y):

d).

e) .

f) Тут потрібно замість х ввести деяку функцію :

.

g) .◄

Множина диз’юнктів не породжує жодної резольвенти. Отже, неможливо отримати порожній диз’юнкт, тому таке міркування не логічне.

c) Введемо предикати І(х) = «х – вміє обчислювати інтеграли»,

М(х) = «х – математик», З(х) = «х – маж математичні здібності»,

D(x) = «х – дитина». Тоді всі посилки та висновок можна записати:

⊨ Далі:

Виписуємо диз’юнкти і резольвенти:

із (1), (2) після

із (1), (3) після

із (2), (4) після

із (3), (5) після

із (1), (8) після

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

Зміст матеріалу теми ''Міжнародна валютна система. Міжнародні гроші''
Тема ''Міжнародна валютна система. Міжнародні гроші'' входить до п’ятого розділу програми предмета «Економіка», який присвячений вивченню проблем світового господарства, світової торгівлі, ...

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

Закріплення уміння учнів четвертого класу писати каліграфічно
Формування графічних навичок письма завершується в цілому в 4 класі. Тут учні намагаються самі писати якомога швидше, безвідривно сполучати елементи у буквах і поєднувати букви у складах і ...