性质命题及其直接推理

　　(一)性质命题的类型

　　性质命题是断定对象具有或不具有某种性质的简单判断。性质命题也叫直言命题或直言判断，可分为六种基本类型：

　　(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"

　　日常语言中的直言判断在表达上是不规范的，在逻辑分析中应先整理成规范形式。例如，"凡人皆有死"，应整理成"所有的人都是要死的"，这是A判断；"有人不自私"，应整理成"有的人不是自私的"，是O判断。