SUBALTERNO

La relación entre las pro­posiciones A - I y E - O (véase Proposición) es una relación subalterna, y las proposiciones citadas son llamadas «subalternas» en el or­den de subordinación que figura en el cuadro de oposición. Según hemos visto, no se trata de oposición lógica, sino de relación entre una proposición más universal y una proposición menos universal.

Según las leyes clásicas de oposición, las relaciones completas entre proposiciones subalternas son éstas:

Si A es verdadero, I es verdadero;
Si A es falso, I puede ser verdadero;
Si I es verdadero, A puede ser falso (o no es necesariamente verdadero);
Si I es falso, A es falso;
Si E es verdadero, O es verdadero;
Si E es falso, O puede ser falso (o no es ne­cesariamente verdadero);
Si O es verdadero, E puede ser falso (o no es necesariamente verdadero);
Si O es falso, E es falso.

Para los lógicos modernos, las inferencias