形式逻辑相关介绍 (第2/2页)

之间，2、反对关系，存在于A和E之间，3、下反对关系，存在于I和O之间，4、差等关系，分别存在于A和I，以及E和O之间。归纳：

    文中提到的有：

    全称肯定判断SAP所有的S都是P

    全称否定判断SEP所有的S都不是P

    特称肯定判断SIP有的S是P

    特称否定判断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也是差等关系。