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

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

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