La subalternancia [1] [2] es una inferencia inmediata que sólo se hace entre las proposiciones categóricas A (Todos los S son P ) e I (Algunos S son P ) y entre las proposiciones categóricas E (Ningún S es P o originalmente, Ningún S es P ) y O (Algunos S no son P o originalmente, No todos los S son P ) del cuadrado de oposición tradicional y el cuadrado de oposición original. [3] Si la proposición A es verdadera, podemos inferir inmediatamente que I es verdadera. Si la proposición E es verdadera, podemos inferir inmediatamente que O es verdadera. A la inversa , si I es falsa, podemos inferir inmediatamente que A también es falsa, así como si O es falsa, entonces E es falsa. Sin embargo, si la proposición A es falsa, eso no nos dirá nada sobre el valor de verdad de la proposición I. De manera similar, si la proposición E es falsa, eso no nos dirá nada sobre el valor de verdad de la proposición O.
Un ejemplo de subalternidad es: "Si todos los leopardos son mamíferos, entonces algunos leopardos son mamíferos".
Cuando la inferencia se aplica incorrectamente, la falacia silogística se denomina subalternancia ilícita .