命题形式化及其联系

　　性质命题形式化及其关系

　　语言的基础是概念，由概念之间的关系形成了命题。不同命题表达了不同判断，快速把握不同命题之间的联系是逻辑解题速度和准确性提高的关键。

　　例如：马克思向燕妮求婚，燕妮给马克思三个盒子，分别是金、银、铁盒，其中只有一个盒子里有燕妮的相片，到底在哪个盒子里呢?盒子上有线索，但只有一个线索是真的，你说相片在哪个盒子里?

　　命题可以分为简单命题和复合命题，它们之间区别在于，命题中是否含有逻辑联结词。

　　例如：说明下例命题是简单还是复合命题。

　　我们是中国人并且是勇敢的。

　　金属导电。

　　战无不胜的中国人民不惧怕任何外来侵略者的压迫。

　　若你去，我也去。

　　你此战，或胜或败。

　　简单命题考试常用的可以分为两种，性质命题和模态命题。

　　性质命题：是断定对象具有或不具有某种性质的简单命题。例如：

　　(1)所有的金属都是导电的。

　　(2)有的天鹅不是白的。

　　性质命题由主项、谓项、量项、联项四部分构成

　　主项是性质判断要断定的对象，通常用S表示。

　　谓项是主项具有或不具有的性质，通常用P表示。

　　量项是对主项范围的说明，分为全称量项(“所有”、“任一”，都等表示)和特称量项(“有的”、“有些”等表示)。

　　联项即连接词，“是”或“不是”，“是”常可省略。分为肯定联项(“是”)和否定联项(“不是”)。

　　主项和谓项在不同的命题中可以由不同的概念充当，所以是(逻辑)变项，而量项和联项就两种，因此又称为(逻辑)常项。

　　根据量项和联项的不同，性质命题分为六种基本类型：

　　全称肯定命题，简称A命题，标准形式是“所有S都是P”。例如“所有金属都是导电的”。

　　全称否定命题，简称E命题，标准形式是“所有S都不是P”。例如：“所有宗教都不是科学。”

　　特称肯定命题，简称I命题，标准形式是“有的S是P”。例如：“有的哺乳动物是卵生的。”

　　特称否定命题，简称O命题，标准形式是“有的S不是P”。例如“有的天鹅不是白的”。

　　如果性质命题的主项是单独概念(即表示单个对象的概念)，则称为单称命题，这时候只包括单称肯定命题(SaP)和单称否定命题(SeP)。如“鲁迅是文学家”或“爱因斯坦不是犹太人”。

　　日常语言中的性质命题在表达上是不标准的，在逻辑分析中应先整理成标准形式。例如，“无奸不商”，应整理成“所有的商人都是奸诈的”，这是A判断;“有人不自私”，应整理成“有的人不是自私的”，是O判断。

　　要求熟练地区分判断的类型。