逻辑思维推理试卷.pptVIP

（4）特称否定命题：就是断定某类对象种至少有一个不具有某种性质的命题。又叫O命题。 例如： 有的学生是不用功的。 这是个特称否定命题。它断定“学生”这类对象种至少有一个不具有“用功的”性质。 特称否定命题用公式表示就是： 有的S不是P 特称命题需要注意的两点： 第一，特称命题的量项“有些”或“有的”的逻辑含义是指“至少有些”或“至少有的”，既至少有一个S是（或不是）P 。 第二，在日常语言中，由于有一定的语境作为参照，特称量项“有的”、“有些”往往被理解为“只有一部分”的意思，当我们说“有的S具有P属性”时，似乎隐含着“另有一些S不具有P属性”，但是，这种所谓“隐含的意思”在逻辑学中是不成立的。 逻辑学中，“有S是P”推不出“有的S不是P”，反之亦然。即当“有S是P”为真时，我们不能断定“有的S不是P”的真假，它可能为真，也可能为假。 综上，直言命题就可以归结为如下四种基本形式。 名 称 逻辑形式 简式 简称 全称肯定命题 所有S是P SAP A 全称否定命题 所有S不是P SEP E 特称肯定命题 有的S是P SIP I 特称否定命题 有的S不是P SOP O 素材相同的性质命题之间的对当关系，在传统形式逻辑中可以用“对当方阵”或“逻辑方阵”来刻画。 从属关系 从属关系 直言命题与 对当关系推理