反對關係推理

反對關係推理是根據直言命題邏輯方陣中的反對關係而進行推演的直接推理。由邏輯方陣中的對當關係可知：全稱肯定命題( SAP)和全稱否定命題(SEP)是一對具有反對關係的命題，它們可以同假，而不能同真。由此，我們就可以作出如下直接推理：“SAP，所以，非SEP”；“SEP，所以，非SAP”。

例如，“所有液體都是有彈性的，所以，並非所有液體不是有彈性的”；“所有元素都不是化合物，所以，並非所有元素都是化合物”。反對關係推理是有效推理，只要其前提是真的，結論也就必然是真的。