逻辑学教程

?按性质分为：肯定命题和否定命题

?按量可分为：全称命题、特称命题和单称命题 1、全称肯定命题 全同关系 命题形式：所有S都是P 符号表示为：SAP，简记为A 2、全称否定命题 全异关系 命题形式：所有的S都不是P 符号表示：SEP,简记为E

3、特称肯定命题 交叉、全同、真包含、真包含于 命题形式：有S是P 符号表示：SIP,简记为I

4、特称否定命题 全异、交叉、真包含 命题形式：有S不是P 符号表示：SOP，简记为O a) 单称肯定命题 命题形式：这个S是P 符号表示：SaP，简记为a 5、单称否定命题

命题形式：这个S不是P 符号表示：SeP，简记为e

三、直言命题词项的周延性（词项的全部外延是否被断定） 1、全称肯定命题的主项周延，谓项不周延（所以的S都是P） 2、全称否定命题的主项周延，谓项也周延（所有的S都不是P） 3、特称肯定命题的主项不周延，谓项也不周延（有的S是P） 4、特称否定命题的主项不周延，谓项周延（有的S不是P） 结论：全称的主项和否定的谓项周延，其他词项都不周延

四、对当关系

1、对当关系推理是根据直言命题间的对当关系进行的推理

2、所谓直言命题间的对当关系是指主项和谓项相同的AEIO推出的结论 只有在四个命题主谓项相同的情况下才能判断真假

17

3、对当关系推理 等值关系：真假相同； 矛盾关系：真假相反；

反对关系：同假不同真，由真推假，不能由假推真； 下反对关系:同真不同假，由假推真，不能由真推假；

差等关系：全称真时特称真，全称假时特称真假不定，特称假时全称假，特

称真时全称真假不定。（自上而上的真，自下而上的假）

直言命题真假情况 A E I O

全同 真 假 真 假 真包含于 真 假 真 假 真包含 假 假 真 真 交叉 假 假 真 真 全异 假 真 假 真 18