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

Нова педагогіка » Особливості контролю знань логіки предикатів » Класифікація формул логіки предикатів. Логічне слідування

Сторінка 9

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

- ВНФ.

Приклад 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 5 6 7 8 9 10 11 12

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

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

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

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

Викладання іноземної мови

Викладання іноземної мови

У ДНЗ навчання дітей англійської мови доцільно розпочинати з п'ятилітнього віку. Більшість дітей цього віку досягають інтелектуальної, вольової, мотиваційної та емоційної готовності вивчати другу мову у колективі. >>>

Copyright © 2020 - All Rights Reserved - www.edudirect.net