形式逻辑相关介绍

    1、判断是对思维对象有所断定的思维形式。

    2、判断的基本特征：1、判断都有所肯定或有所否定，2、判断都有真假。

    3、性质判断按量划分，分为单称判断、全称判断和特称判断，单称判断是断定单个对象具有或不具有某种性质的判断，单称判断的主项是一个单独概念，单称判断一般不出现量项，全称判断是断定主项的全体都具有或不具有某种性质的判断，全称判断的主项前面带有全称量项，特称判断是断定主项至少有一个具有或不具有某种性质的判断，特称判断的主项全面带有特称量项。

    4、性质判断综合可分为四类：1、全称肯定判断，标准形式为：所有的S都是P，简记为SAP，简称A判断，2、全称否定判断，标准形式为：所有S都不是P，简记为SEP，简称E判断，3、特称肯定判断，标准形式为：有的S是P，简记为SIP，简称I判断，4、特称否定判断，标准形式为：有的S不是P，简记为：SOP，简称O判断。

    5、具有SAP、SEP、SIP、SOP判断形式的判断之间，存在四种不同关系：1、矛盾关系，分别存在于A和O，以及E和I之间，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也是差等关系。