特称否定判断

指断定一类对象中部分对象不具有某种性质的判断。如“有些发亮的物体不是金子”，“有的鸟不会飞”。特称否定判断的逻辑形式是：“有些S不是P”。常用“O”（拉丁文Nego〔否定〕的第二个元音字母大写）或“SOP”表示。