Метод доказательства логических выражений

№ п/п

А

В

С

D

E

P1

P2

P3

P4

P

C1

C2

C3

C4

и противоречия

,

а также любых других клауз, полученных из первоначальной путем эквивалентных преобразований, например:

.

Если заменить на , то во всех указанных случаях условие причинно-следственного отношения нарушится и клаузы обратятся в ложные метавысказывания.

Заключения и явно очевидны и никакому следователю в этом случае нет нужды прибегать к таблицам истинности. Но могут быть такие легенды, из которых было бы очень трудно или даже невозможно только путем правильных рассуждений выбрать истинное заключение.

«Водитель обманывает, он находился в комнате отдыха, а комната отдыха действительно расположена рядом со складом – все это так, но при условии, что кассир сказала правду или что водитель слышал выстрелы»

.

«Водитель обманывает, он слышал выстрелы, а комната отдыха действительно расположена рядом со складом – все это так, но при условии, что кассир сказала правду или что водитель находился в комнате отдыха»

.

Единичные наборы для и также приведены в табл. 6.1 Для заключения в строках 8 и 12 стоят нули, следовательно, условие причинно-следственного отношения не выполняется и поэтому является ложным заключением. Для заключения все его единицы накрывают единицы обобщенной посылки Р, следовательно, является истинным заключением:

.

.

Истинность заключения тем очевиднее, чем большим числом его единиц накрываются единицы обобщенной причины. Отсюда можно составить объективный критерий для оценки логических способностей человека.

Вообще опытный логик прежде всего должен построить все совместимые ряды событий . В нашем случае таких рядов 6 (они соответствуют 0, 8, 12, 14, 15, 16 строкам табл.6.1). Их объединение даст предельный случай условия выполнения причинно-следственного отношения:

; ; ;

; ; .

Полученные конъюнкции не что иное, как СДНФ, отвечающая нашей конкретной причине Р. Всевозможные покрытия шести конъюнкций дают множество истинных следствий.

Так, заключения

,

покрывают все шесть конъюнкций, следовательно, они истинные. Два других заключения

и

не покрывают все или отдельные конъюнкции, следовательно, они ложные следствия.

Существует большое многообразие возможных покрытий, то есть истинных следствий из заданных причин. Но опытный следователь должен уметь определять три вещи – минимальную нормальную форму (МНФ), минимальное и трансверальное покрытия.

Нахождением МНФ по известным СДНФ и СКНФ мы уже занимались ранее, в предыдущих разделах, по булевым функциям. Так, минимизируя с помощью равносильных преобразований нашу СДНФ, можно получить следующую МНФ (МДНФ):

Минимальное покрытие – это покрытие с наименьшим числом переменных. Нам оно известно – это заключение . В него входят два решающих высказывания, связанные с правдивостью кассира (А) и правдивостью водителя (Е). Все остальные утверждения (В, С, Д) являются второстепенными и могут выступать в результирующем заключении совместно с А и Е.

Трансверальное покрытие – это минимальное покрытие, включающее все имеющиеся переменные и содержащее минимальное количество наборов этих переменных. Для нашего примера имеются четыре трансверальных покрытия.

.

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

.

Оно предполагает три исхода истинного значения при совместном действии всех пяти факторов:

Трансверальные покрытия дают наиболее полную картину возможных следствий из сформулированных посылок, следовательно, из них и надо выбирать истинные следствия.

Дата добавления: 2017-02-01