下反對關係推理

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

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