特稱否定命題

特稱否定命題是性質命題的一種。斷定某類對象中有對象不具備某種性質的問題。如“有的數不是竒數有的行星不是有衛星的”。其主項是一個普遍詞項（概念），量項是特稱量項，聯項是否定的聯項。按照特稱量項的邏輯涵義，當特稱否定命題斷定某類對象中有的對象不具有某種性質時，並不意味著同時斷定了某類對象中有的對象具有某種性質。

特稱否定命題的命題形式是，有的S不是P。按照特稱量項的邏輯涵義，當特稱否定命題斷定某類對象中有的對象不具有某種性質時，並不意味著同時斷定了某類對象中有的對象具有某種性質。如“有的數不是竒數有的行星不是有衛星的”。其主項是一個普遍詞項（概念），量項是特稱量項，聯項是否定的聯項。