AEIO是對當關係的直接推理，A、E之間是反對關係，A、O和E、I之間是矛盾關係，直接推理又稱直言判斷的推理，直言判斷推理可劃分為直言判斷的直接推理和直言判斷的間接推理。對當關係（opposition）簡稱“對當”，是具有相同主謂項的A、E、I、O判斷之間的真假關係。A，E，I，O分別為全稱肯定、全稱否定、特稱肯定、特稱否定命題的記號，變形推理是指的換質換位推理。
