Для решения этой задачи достаточно построить совместную таблицу для показаний трех свидетелей. Пусть р означает, что виновен Браун, а q – что виновен Джонс

Из данной таблицы видно, что свидетели не могут все втроем говорить правду, но не могут и все втроем лгать. Более того, оказывается, что даже двое свидетелей не могут вместе лгать – в каждой строке только одна формула является ложной, а две – истинными.

В качестве фундаментальных логических отношений в КЛВ выделяют отношения совместимости по истинности, совместимости по ложности и логического следования.

Формулы А и В совместимы по истинности (символически А(1)В), если и только если в их совместной таблице истинности существует хотя бы одна строка, где они вместе принимают значение «1».

Формулы А и В совместимы по ложности (символически А(0)В), если и только если в их совместной таблице истинности существует хотя бы одна строка, где они вместе принимают значение «0».

Из формулы А логически следует формула В (символически Аú=В), если и только если во всех строках, где А принимает значение «1», В тоже принимает значение «1».

На основе фундаментальных отношений могут быть определены все остальные возможные отношения между двумя отдельно взятыми суждениями:

Отношение противоречия (контрадикторности). Формулы А и В находятся в отношении противоречия, если и только если они несовместимы по истинности и несовместимы по ложности.

Дата добавления: 2015-06-30; просмотров: 130; Нарушение авторских прав

Мы поможем в написании ваших работ!