下反对关系推理

下反对关系推理是根据直言命题逻辑方阵中的下反对关系而进行推演的直接推理。由逻辑方阵中的对当关系可知：特称肯定命题( SIP)和特称否定命题(SOP)是一对具有下反对关系的命题，它们可以同真，但不可以同假。由此，我们就可以作出如下直接推理：“非SIP，所以，SOP”；“非SOP，所以，SIP”。例如，“并非有的元素是化合物，所以，有的元素不是化合物”；“并非有的金属不是导电体，所以，有的金属是导电体”。下反对关系推理是有效推理。只要其前提为真，结论也就必然是真的。