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


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



страница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 2019
обратиться к администрации

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