全稱否定命題

全稱否定命題是性質命題的一種。斷定某類對象中的每一個對象都不具有某種性質的命題。如“所有否認物質第一性的哲學家都不是唯物主義的哲學家”，“所有行星都不是恆星”。其主項是一個普遍詞項（概念），量項是全稱量項（在語言或文字表達中，表示全稱量項的“所有”、“一切”等，有時可以省略），聯項是否定的聯項。全稱否定命題的命題形式是：“所有S不是P。”在邏輯史上，一般沿用“E”（拉丁文nego[否定]的第一個元音字母）來表示。通常也表示為SEP。

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