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


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



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

Элементарная конъюнкция является тождественно-ложной, если она содержит хотя бы одну переменную со знаком отрицания и без него. (а /\ в /\ а).

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

Если каждый ее дизъюнкт содержит переменную и ее отрицание, то формула тождественно-ложная.

Алгоритм приведения к ДНФ аналогичен приведению к КНФ, только последний шаг выполнить согласно равносильности «7».

Если формула не получилась тождественно-ложной, то она выполнима.


9.6. Упражнения.

1.1. Формализуйте тексты:

а) Жарко, и идет дождь.

б) Идет дождь, но нельзя сказать, что жарко.

в) Дождь не идет, но не жарко.

г) Или я тебя не понимаю, или ты не хочешь меня понять.

д) Подальше положишь, поближе возьмешь.

е) То и полезно, что в рот полезло.


1.2. Установите, являются ли суждения равносильными (попарно):
а) Неверно, что Иван IV был зол по природе и не заботился об интересах государства, тогда и только тогда, когда Иван IV не был зол по природе или заботился об интересах государства.

б) Каждый студент этого факультета способен и трудолюбив.

Неверно, что на этом факультете имеются неспособные и нетрудолюбивые студенты.
1.3. Постройте таблицы истинности следующих формул:

_

p /\ q , р \/ q , (р /\ q) → р.


1.4. Табличным способом обосновать или опровергнуть вывод:
а) Если мой приятель не выполняет обещаний, то я злюсь и вспоминаю о вреде курения. Обычно я курю с удовольствием. Значит, я вспоминаю о вреде курения, когда мой приятель не выполняет обещаний.
б) Федя съел медведя, если Кузя спал на заборе.

Либо Кузя спал на заборе, либо Федя съел медведя.

Значит, Федя съел медведя.
2. Доказать или опровергнуть методом "от противного":
а) Уголовное дело может быть возбуждено только в тех случаях, когда имеются достаточные данные, указывающие на наличие состава преступления. Действия Х содержат такие признаки. Следовательно, уголовное дело против Х может быть возбуждено.
б) Если части предмета являются частями одного и того же предмета, то их рельеф совпадает. Рельеф данных частей предмета совпадает. Следова­тельно, они являются частями одного и того же предмета.
в) Если бухта замерзает, то корабли не могут входить в нее. Корабли не могут входить в нее. Следовательно, бухта замерзла.
г) Если приговор не обоснован, то он будет отменен. Данный приговор отменен. Следовательно, он не обоснован.
д) Если обвиняемый был у себя дома, то он не был на месте преступле­ния. Но обвиняемый не был дома. Значит, он был на месте преступления.
3. Опровергнуть или доказать суждения с помощью нормальной формы и подстановок:

Если «А» является участником преступления, то он знал потерпевшего. «А» не знал потерпевшего «В», но знал его жену –«С». «В» знал « А». Следовательно, «А» – не участник преступления.


4. С помощью КНФ проверить истинность рассуждения:

Если «А» незаконно получил кредит, то он наказывается штрафом в размере от двухсот до пятисот минимальных размеров оплаты труда или лишением свободы на срок от двух до пяти месяцев. «А» получил кредит законно. Следовательно, он не будет лишен свободы на указанный срок.

5. С помощью ДНФ опровергнуть формулы:
1) (((а ↔ в) ↔ а) → в)

2) (((а → в) → с) → (в → е))


6. С помощью нормальных форм определить, является ли формула А гипотезой для формулы В:

_ _


А= ((а \/ в) \/ с) В=(а ↔ (в \/ с) \/ с)
7. С помощью нормальных форм определить, является ли формула В логическим следствием множества формул А:

_ ____


В= (((а ↓ а) | а) ↓ а) А= {а, (с → а), (с /\ а ).}
________




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




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

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