Representación geométrica de las relaciones de oposición lógicas tradicionales (contradictorias, contrarias, subalternas) existentes entre los cuatro tipos de proposiciones (universales afirmativas o proposiciones A, universales negativas o proposiciones E, particulares afirmativas o proposiciones I, particulares negativas o proposiciones O) de la doctrina aristotélica del silogismo.
En el cuadrado, las A están en el extremo superior izquierdo; las E, en el extremo inferior derecho; debajo de las A están las I, y debajo de las E están las O. Las A y las O, como las E y las I, son contradictorias (relaciones diagonales); las A y las E son contrarias y las I son subalternas a las A (por tanto implicadas por estas) y las O son subalternas a las E. Mientras las contradictorias tienen valores de verdad opuestos (uno verdadero, el otro falso), las contrarias no pueden ser ambas verdaderas a la vez, pero sí pueden ser falsas a la vez.
Enciclopedia Universal. 2012.