| 对立性推理 opposite inference 亦称“对立判断推理”。根据直言判断逻辑方阵中的反对关系和矛盾关系而进行推演的一种直接推理。包括：(1)由全称肯定判断的真，可以推出特称否定判断和全称否定判断的假;由全称否定判断的真，可以推出特称肯定判断和全称肯定判断的假。前者即：“SAP，所以，非SOP”;“SAP，所以，非SEP”。后者即：“SEP，所以，非SIP”;“SEP，所以，非SAP”。(2)由全称肯定判断的假，可推出特称否定判断的真;由全称否定判断的假，可推出特称肯定判断的真。前者即：“非SAP，所以，SOP”;后者即：“非SEP，所以，SIP”。(3)由特称肯定判断的真，可以推出全称否定判断的假;由特称否定判断的真，可以推出全称肯定判断的假。前者即：“SIP，所以，非SEP”;后者即：“SOP，所以，非SAP”。(4)由特称肯定判断的假，可以推出全称否定判断的真;由特称否定判断的假，可以推出全称肯定判断的真。前者即：“非SIP，所以，SEP”;后者即：“非SOP，所以，SAP”。参见“矛盾关系推理”、“反对关系推理”。 |