Между двумя сложными суждениями В и С возможны следующие отношения:
(1) Логическое следование (подчинение): С логически следует из В (В |= С), то есть всегда, когда В истинно, С — также истинно.
|
В |
С |
|
И |
И |
|
Л |
И |
|
И |
Л |
|
Л |
Л |
(2) Противоположность (контрарность): С и В находятся в отношении противоположности, если они не могут быть оба истинными, но могут быть оба ложными.
|
В |
С |
|
И |
И |
|
Л |
И |
|
И |
Л |
|
Л |
Л |
(3) Субконтрарность: С и В находятся в отношении субконтрарности, если они не могут быть оба ложными, но могут быть оба истинными.
|
В |
С |
|
И |
И |
|
Л |
И |
|
И |
Л |
|
Л |
Л |
(4) Противоречие (контрадикторность): С и В находятся в отношении противоречия, если они не могут быть оба ни истинными, ни ложными.
|
В |
С |
|
И |
И |
|
Л |
И |
|
И |
Л |
|
Л |
Л |
(5) Эквивалентность (равнозначность): С и В находятся в отношении эквивалентности, если их истинностные значения совпадают, то есть они либо оба истинные, либо оба ложные.
|
В |
С |
|
И |
И |
|
Л |
И |
|
И |
Л |
|
Л |
Л |
(6) Логическая независимость: С и В находятся в отношении логической независимости, если возможны любые сочетания их истинностных значений.
|
В |
С |
|
И |
И |
|
Л |
И |
|
И |
Л |
|
Л |
Л |