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