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