形式逻辑相关介绍（2/2）

特称否定判断SOP有的S不是P

1、SAP与SOP为矛盾关系，即SAP真则SOP假，SOP真则SAP假。

2、SAP与SIP为差等关系，即SAP真时SIP一定真；SAP假时SIP未必假；SIP假时SAP一定假；SIP真时SAP未必真。

3、SAP与SEP是反对关系，即SAP真时SEP一定假；SAP假时SEP未必真；SEP真时SAP一定假；SEP假时SAP未必真。

4、SIP与SOP是下反对关系，即SIP真时SOP真假未定；SIP假时SOP必然真；SOP真时SIP真假未定；SOP假时SIP一定真。

5、SEP与SIP也是矛盾关系。

6、SEP与SOP也是差等关系。

</br>

</br>