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

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

Сторінка 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 © 2019 - All Rights Reserved - www.edudirect.net