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