Логика в юриспруденции учебно-методическое пособие


Алгоритм разрешения суждений с помощью КНФ



страница32/34
Дата01.02.2020
Размер0,62 Mb.
Название файлаПособие Логика в юриспруденции.doc
Учебное заведениеРоссийский государственный профессионально-педагогический университет
ТипУчебно-методическое пособие
1   ...   26   27   28   29   30   31   32   33   34
Алгоритм разрешения суждений с помощью КНФ.
Конъюнктивно-нормальной формой (КНФ) формулы называется такая формула, которая представляет собой конъюнкцию элементарных дизъюнкций. Элементарная дизъюнкция является тождественно-истинной, если она содержит хотя бы одну переменную со знаком отрицания и без него (а \/ в \/ а).

Чтобы определить, является ли некоторая формула тождественно-истинной, достаточно привести ее к КНФ.



  1. Формализовать текст.

  2. Привести формулу к нормальной форме.

  3. При помощи равносильности «8» сделать конъюнкцию внешним знаком формулы.

Пример.

_ _


((а → в) ≡ (в → а))

1. При помощи формулы «21» и «14» избавиться от знаков эквиваленции и импликации.

____ = _ _ = _

((а \/ в) \/ (в \/ а)) /\ ((а \/ в) \/ (в \/ а))

2. С помощью формулы «2» и «12» избавиться от двойного отрицания:

_ _ _ _ _ _ _ _

((а /\ в) \/ (в \/ а)) /\ ((а \/ в) \/ (в /\ а)) ≡ ((а /\ в) \/ в \/ а) /\ ((а \/ в \/ (в /\ а))
3. При помощи равносильности «8» представить формулу в виде конъюнкции элементарных дизъюнкций

_ _ _ _ _ _

(а \/ в \/ а) /\ (в \/ в \/ а) /\ (а \/ в \/ в) /\ (а \/ в \/ а)
Вывод: каждый конъюнкт КНФ содержит переменную и ее отрицание. Следовательно, формула тождественно-истинна, является логическим законом.



Поделитесь с Вашими друзьями:
1   ...   26   27   28   29   30   31   32   33   34




База данных защищена авторским правом ©nashuch.ru 2020
обратиться к администрации

    Главная страница
Контрольная работа
Курсовая работа
Лабораторная работа
Пояснительная записка
Методические указания
Рабочая программа
Методические рекомендации
Теоретические основы
Практическая работа
Учебное пособие
Общая характеристика
Общие сведения
Физическая культура
Теоретические аспекты
Самостоятельная работа
Дипломная работа
Федеральное государственное
История развития
Направление подготовки
Методическое пособие
Общая часть
квалификационная работа
Технологическая карта
Выпускная квалификационная
Техническое задание
Общие положения
прохождении производственной
Исследовательская работа
Теоретическая часть
Краткая характеристика
Методическая разработка
Гражданское право
государственное бюджетное
Техническое обслуживание
Технология производства
Решение задач
учреждение высшего
Математическое моделирование
Организация работы
Правовое регулирование
Основная часть
Металлические конструкции
Практическое занятие
Метрология стандартизация
Понятие предмет
дистанционная форма
Технология приготовления
Практическое задание
физическая культура
Общие требования
Технологическая часть