對立性名詞解釋

對立性推理亦稱“對立命題推理”。根據直言命題邏輯方陣中的反對關係和矛盾關係而進行推演的一種直接推理。

包括：(1)由全稱肯定命題的真，可以推出特稱否定命題和全稱否定命題的假由全稱否定命題的真，可以推出特稱肯定命題和全稱肯定命題的假。前者即：“SAP，所以，非SOP”：“SAP，所以，非SEP”。後者即：“SEP，所以，非SIP”“SEP，所以，非SAP”。

(2)由全稱肯定命題的假，可推出特稱否定命題的真由全稱否定命題的假，可推出特稱肯定命題的真。前者即：“非SAP，所以，SOP”後者即：“非SEP，所以，SIP”。

(3)由特稱肯定命題的真，可以推出全稱否定命題的假由特稱否定命題的真，可以推出全稱肯定命題的假。前者即：“SIP，所以，非SEP”後者即：“SOP，所以，非SAP”。

(4)由特稱肯定命題的假，可以推出全稱否定命題的真由特稱否定命題的假，可以推出全稱肯定命題的真。前者即：“非SIP，所以，SEP”後者即：“非SOP，所以，SAP”。參見“矛盾關係推理”、“反對關係推理”。