Отношения между простыми суждениями. Логический квадрат.

Среди сравнимых различают совместимые суждения, которые могут быть одновременно истинными, и несовместимые суждения, которые одновременно истинными быть не могут.
Совместимость бывает трех видов: полная совместимость (эквивалентность); подчинение; частичная совместимость (субконтрарность). Несовместимость бывает двух видов: противоположность (контрарность) и противоречивость (контрадикторность).

I. Отношением подчинения связаны суждения А и I, Е и О. Общие суждения (А и Е) являются подчиняющими, а частные (I, О) подчиненными. Для суждений находящихся в отношении подчинения, имеет значение условие истинности: Если истинно А(Е), то истинно и I(O), но не наоборот.

II. Отношением противоречия связаны суждения Е и I, А и О. Два противоречивых суждения (согласно законам логики) не могут быть одновременно ни истинными, ни ложными Если А - истинно, то О - ложно
Если А - ложно, то О - истинно
Если О - истинно, то А - ложно
Если О - ложно, то А - истинно
Если Е - истинно, то I - ложно
Если Е - ложно, то I - истинно
Если I -истинно, то E - ложно
Если I - ложно, то E - истинно

III. Отношением контрарности (противоположности) связаны только общие суждение А и Е. Закон исключения третьего к таким суждениям не применим. А и Е могут оказаться одновременно ложными, но не могут быть одновременно истинными (пример: оба суждения "Все любят логику" и "никто не любит логику" - ложны).

IV. Отношение субконтрарности существует между частными суждениями I и О. I и О могут быть одновременно истинными, но не могут быть одновременно ложными (пример: оба суждения "Некоторые люди любят логику" и "некоторые люди не любят логику" - истинны)

Решение задачи по логическому квадрату

Если А - истина, то какое значение принимают Е, I и О.
Решение: по квадрату получается: если А - истина, то Е-ложь, I-истина, О-ложь.

Итак,
Если А - истина, то Е-ложь, I-истина, О-ложь.
Если E истинно, то А - ложь, I - ложь, О - ложь
Если I истинно, то Е - ложь, А - неопределенно, О - неопределенно
Если O истинно, то А - ложь, Е - неопределенно, I - неопределенно
Если A ложно, то О - истина, Е - неопределенно, I - неопределенно
Если E ложно, то I - истина, А - неопределенно, О - неопределенно
Если I ложно, то О - истина, Е - истина, А - ложь
Если O ложно, то А - истина, Е - ложь, I - истина