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

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

- ВНФ.

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

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

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

Закон збереження електричного заряду
Не всі явища в природі можна зрозуміти і пояснити на основі використання понять і законів механіки, молекулярно-кінетичної теорії будови речовини та термодинаміки. Досить звернути увагу на ...

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