單稱否定命題

單稱否定命題是性質命題的一種。斷定某一單獨對象不具有某種性質的命題。如“地球不是恆星”、“黃河不是中國最長的河流”。其主項是一個單獨詞項（概念），聯項是否定的（不是，沒有等）。單稱否定命題的命題形式是：“某個S不是Po”

特稱肯定命題是性質命題的一種。斷定某類對象中有對象具有某種性質的命題。如“有的行星是有衛星的”，“有的物體是液體”。其主項是一個普遍詞項（概念），量項是特稱量項，聯項是肯定的聯項。按照特稱量項的邏輯涵義，當特稱肯定命題斷定某類對象中有的對象具有某種性質時，並不意味著同時斷定了某類對象中有的對象不具有某種性質。特稱肯定命題的命題形式是：“有的S是P”。在邏輯史上般沿用“l”（拉丁文affirmo[肯定]的第二個元音字母）來表示。通常也表示為：SIP。