| 矛盾关系推理 contradictory relation inference 根据直言判断“逻辑方阵”中的矛盾关系而进行推演的直接推理。由逻辑方阵中的对当关系可知：全称肯定判断(SAP)和特称否定判断(SOP)、全称否定判断(SEP)和特称肯定判断(SIP)分别各是一对具有矛盾关系的判断，它们既不能同真，也不能同假。由此，人们就可作出如下直接推理：“SAP，所以，非SOP”;“非SAP，所以，SOP”;“SEP，所以，非SIP”;“非SEP，所以，SIP”;“SOP，所以，非SAP”;“非SOP，所以，SAP”;“SIP，所以，非SEP”;“非SIP，所以，SEP”。例如：“并非所有闪光的东西都是金子，所以，有的闪光的东西不是金子。”“有的金属是液体，所以，并非所有金属不是液体”等等。矛盾关系推理都是有效推理，而且都是可逆的，即其前提判断与结论判断是等值的，因而是可以互推的。 |