Отношения между суждениями

Между суждениями А, Е, I, О с одинаковыми терминами существуют четыре вида отношений:

1) отношение подчинения, в котором находятся суждения А и I, Е и О.

Суждения А и Е — подчиняющие, а суждения I и О — подчиненные.

Из истинности общего суждения следует истинность частного.

Из ложности частного суждения следует ложность общего.

Aи → Iи, Eи → Oи

Iл → Aл, Oл → Eл

отношение частичной совместимости или субконтрарности I - О. Частные суждения могут быть одновременно истинными, но не могут быть одновременно ложными.

Iл →Ои Ол → I и

2) отношение противоположности или контрарности А – Е. Общие суждения не могут быть одновременно истинными, но могут быть одновременно ложными.

Аи →Ел, Еи → Ал

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

Аи↔ Ол

Ал ↔Ои

Еи ↔Iл

Ел ↔Iл

О