提醒：点这里加小编微信（领取免费资料、获取最新资讯、解决考教师一切疑问！）
二、性质命题及其直接推理
(一)性质命题的类型
性质命题是断定对象具有或不具有某种性质的简单判断。性质命题也叫直言命题或直言判断，可分为六种基本类型：
(1)全称肯定判断。其逻辑形式是“所有S都是P”。
(2)全称否定判断。其逻辑形式是“所有s都不是P”。
(3)特称肯定判断。其逻辑形式是“有S是P”
(4)特称否定判断。其逻辑形式是“有S不是P”
(5)单称肯定判断。其逻辑形式是“某个S是P”。
(6)单称否定判断。其逻辑形式是“某个s不是P”。
由于单称判断对反映某一单独对象的概念的全部外延作了断定，从逻辑性质上说，单称判断可以看做是全称判断。这样，性质命题就可以归结为以下四种基本形式：
(1)全称肯定判断，简称为“A”判断，可写为“SAP”。
(2)全称否定判断，简称为“E”判断，可写为“SEP”。
(3)特称肯定判断，简称为“I”判断，可写为“SIP”。
(4)特称否定判断，简称为“O”判断，可写为“SOP”。
(二)对当关系
从概念的外延间的关系来说，判断主项“S”的外延与谓项“P”的外延之间的关系，共存在五种情况：全同关系、被包含关系、包含关系、交叉关系和全异关系。把各种性质判断的真假情况归纳起来，可列表如下：
性质命题的对当关系可归纳为以下几种：
(1)矛盾关系。这是A和O、E和I之间存在的不能同真、不能同假的关系。
(2)差等关系(又称从属关系)。这是A和I、E和O之间的关系。如果全称判断真，则特称判断真；如果特称判断假，则全称判断假；如果全称判断假，则特称判断真假不定；如果特称判断真，则全称判断真假不定。
(3)反对关系。这是A和E之间不能同真，可以同假的关系。在A、E两个判断中，如果我们知道其中一个是真的，就可推知另一个是假的。
(4)下反对关系。这是1和O之间可以同真但不能同假的关系。在1、o两个判断中，如果知道其中一个是假的，那就可以断定另一个是真的。如果我们知道其中一个是真的，那么另一个真假不定。逻辑学中把A、E、I、O四种判断之间的关系用下列“逻辑方阵”来表示：
提醒：点这里加小编微信（领取免费资料、获取最新资讯、解决考教师一切疑问！）
