| 反对关系推理 contrary relation inference 根据直言判断“逻辑方阵”中的反对关系而进行推演的直接推理。由逻辑方阵中的对当关系可知：全称肯定判断(SAP)和全称否定判断(SEP)是一对具有反对关系的判断，它们可以同假，而不能同真。由此，我们就可作出如下直接推理：“SAP，所以，非SEP”;“SEP，所以，非SAP”。例如，“所有液体都是有弹性的，所以，并非所有液体不是有弹性的”。“所有元素都不是化合物， 所以， 并非所有元素都是化合物”。 反对关系推理是有效推理， 只要其前提是真的， 结论也就必然是真的。 |