反对关系推理

反对关系推理是根据直言命题逻辑方阵中的反对关系而进行推演的直接推理。由逻辑方阵中的对当关系可知：全称肯定命题( SAP)和全称否定命题(SEP)是一对具有反对关系的命题，它们可以同假，而不能同真。由此，我们就可以作出如下直接推理：“SAP，所以，非SEP”；“SEP，所以，非SAP”。