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


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



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

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