特称否定判断

把联项、量项的不同特征相结合进行划分的、断定一类对象的部分不具有某种性质的一种直言判断。如：“有的哺乳动物不是陆地动物”、“有的生物不是植物”。其形式结构为：“有的S不是P”； 简写为“SOP”； 简称“O”。思维对象之间基本的异同关系是形成直言判断的客观基础，特称否定判断主项不周延，谓项周延，实质上是对思维对象之间上属关系，交叉关系、全异关系任一种的反映，即断定主、谓项之间具有这些关系的任 一种，图示为：

（上属关系）（交叉关系）（全异关系）

特称否定判断的真假直接依赖断定对象的实际情况，当 一类对象至少有一个对象不具有某种性质——主、谓项具有上属关系、交叉关系，全异关系任一种时，该判断是真的； 当 一类对象没有 一个对象不具有某种性质——主、谓项具有同一关系或下属关系时，该判断为假。

特称否定判断

简称“O判断”。是性质判断的一种。形式为“有些S不是P”，记作“SOP”。如“有些天鹅不是白的”。