对当关系推理是AEIO四种命题之间的推理： A、E之间是反对关系,不同真,可同假.一个真,另一个必假. A、O,E、I之间是矛盾关系,不同真,不同假.一真,另必假；一假,另必真. A、I,E、O是差等关系,A真,I必真；I假,A必真；E真,O必真,O假,E必假. 变形推理是指的换质换位推理.
