五、对当关系推理

五、对当关系推理

对当关系推理是根据A、E、I、O之间的真假关系从一个命题推出另一个命题的推理。

（一）反对关系的推理：

（1）规则：反对关系只能由真推假，不能由假推真。

（2）有效式：①SAP→并非SEP②SEP→并非SAP

（二）下反对关系推理

（1）规则：下反对关系只能由假推真，不能由真推假。

（2）有效式：①并非SIP→SOP②并非SOP→SIP

（三）矛盾关系的推理

1.规则：矛盾关系既可以由真推假，也可以由假推真。

2.有效式：

①SAP→并非SOP

②SEP→并非SIP

③SIP→并非SEP

④SOP→并非SAP(https://www.daowen.com)

⑤并非SAP→SOP

⑥并非SEP→SIP

⑦并非SIP→SEP

⑧并非SOP→SAP

（四）差等关系的推理

（1）规则：差等关系只能由全称真推特称真，由特称假推全称假；反之不能。

（2）有效式：

①SAP→SIP

②SEP→SOP

③并非SIP→并非SAP

④并非SOP→并非SEP

说明：对当关系的直接推理是以主项存在为前提条件的，即主项所代表的对象在现实世界是存在的。

如果主项不存在，对当关系中除矛盾关系外其他关系就不能成立了，对当关系的推理（矛盾关系的推理除外）就不是普遍有效的了。