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

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

Выводы строятся по схемам: Отношения противоречия (А - О; Е -1):

а —» о; а —» о; е —» i; ё —» i; о —» а; о —» а; i —» ё; i —» е.

Отношение контрарности (противоположности) (А -Е): А Ё; Е А.

Отношение подпротивности (I - О):

Отношение подчинения (4-І; Е - О): А —> 1;Е —> О.