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

Дизъюнктивно-нормальной формой (ДНФ) формулы называется такая формула, которая представляет собой дизъюнкцию элементарных конъюнкций.

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

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

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

Алгоритм приведения к ДНФ аналогичен приведению к КНФ, только последний шаг выполнить согласно равносильности «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. С помощью нормальных форм определить, является ли формула В логическим следствием множества формул А:

_ ____

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

 

________

Литература

 

Брюшинкин В.Н. Практический курс логики для гуманитариев. М., 1996 Васильченко Е.А., Толпегин А.В. Логика. Учебно-методическое пособие. Екатеринбург, 1998

Гетманова А.Д. Логика. М., 1995

Григорьев Б.В. Классическая логика. М., 1996

Ивлев И.В. Логика. М., 1992

Логика. Минск, 1974

Логика. Учебник для юридических вузов/ Под ред. В.П. Сальникова. СПб., 2001

Мельников В.Н. Логические задачи. Киев; Одесса, 1989

Свинцов В.И. Логика. М., 1987

Упражнения по логике. М., 1993

Формальная логика. Л., 1977

Яшин Б.Л. Задачи и упражнения по логике. М., 1996