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

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

- ВНФ.

Приклад 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) після

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

Основні етапи організації проектувальної діяльності школярів
Аналіз організації проектувальної діяльності з учнівською молоддю дозволяє виділити основні етапи проектної технології: початковий, основний, завершальний. На початковому, а іноді його нази ...

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

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