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

Порталы:

Биология Война География Информатика Искусство История Культура Лингвистика Математика Медицина Охрана труда Политика Право Психология Религия Техника Физика Философия Экономика

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

Отношение логической эквивалентности. Формулы А и В находятся в отношении логической эквивалентности, если и только если из формулы А логически следует формула В, а из формулы В логически следует формула А.

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

Отношение логического подчинения. Формула В логически подчиняется формуле А, если и только если из формулы А логически следует формула В, но не наоборот.

Для наглядности данные определения можно свести в таблицу:

Отношение

А и В совм. по ист.

А и В совм. по ложн.

Из А лог. следует В

Из В лог. следует А

А противоречит В

–

–*

А контрарно В

–

–*

А субконтрарно В

–

–*

А не зависит от В

–

А эквивалентно В

А подчиняет В

–

В подчиняет А

–

Примечание: символ * означает: «при условии, что А и В являются собственно выполнимыми» (если это условие не выполнено, то в ячейках с * могут стоять противоположные отметки, а формулы могут находиться друг к другу в нескольких логических отношениях одновременно).

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