AEIO是对当关系的直接推理，A、E之间是反对关系，A、O和E、I之间是矛盾关系，直接推理又称直言判断的推理，直言判断推理可划分为直言判断的直接推理和直言判断的间接推理。
对当关系（opposition）简称“对当”，是具有相同主谓项的A、E、I、O判断之间的真假关系。A，E，I，O分别为全称肯定、全称否定、特称肯定、特称否定命题的记号，变形推理是指的换质换位推理。
