特稱否定判斷

特稱否定判斷的邏輯形式是：“有些S不是P”。常用“O”（拉丁文Nego〔否定〕的第二個母音字母大寫）或“SOP”表示。