下位交替

下位交替^{[1] [2]}は、A（すべてのSはPである）とI（一部のSはPである）のカテゴリカル命題の間、およびE（どのS もPではない、またはもともとどのS もPではない）とO（一部のSはPではない、またはもともとすべてのSがPではない）の従来の対立の二乗と元の対立の二乗のカテゴリカル命題の間でのみ行われる即時推論です。^[3] A命題が真であれば、Iは真であると直ちに推論できます。E 命題が真であれば、O は真であると直ちに推論できます。逆に、I が偽であれば、A も偽であると直ちに推論でき、 O が偽であればEも偽です。ただし、A命題が偽であれば、 I命題の真理値については何もわかりません。同様に、E命題が偽であれば、 O命題の真理値については何もわかりません。

下位交替の例としては、「すべてのヒョウが哺乳類であるならば、一部のヒョウも哺乳類である」が挙げられます。

推論が誤って適用された場合、三段論法の誤謬は不正な下位順序と呼ばれます。