1、全稱命題，英文為 Universal Statement，一種高階數學命題。短語＂對於所有＂＂對於任意一個＂在邏輯中通常叫做全稱量詞，並用∀（上下顛倒的大寫＂A＂）表示。A就是英語中any的縮寫。含有全稱量詞的命題，叫全稱命題，全稱量詞的否定是存在量詞。2、特稱命題（Particular Proposition / Existential Statement）即存在性命題，是含有存在量詞的命題。形式為“某些S是P”或“一些S不是P”。簡記為∃x∈M,q(x)。

數學命題的三種形式：1、對於兩個命題，如果一個命題的條件和 結論分別是另外一個命題的結論和條件，那麼這兩個命題叫做 互逆命題，其中一個命題叫做原命題，另外一個命題叫做原命題的 逆命題。2、對於兩個命題，如果一個命題的條件和結論分別是另外一個命題的條件的否定和結論的否定，那麼這兩個命題叫做互否命題，其中一個命題叫做 原命題，另外一個命題叫做原命題的 否命題。3、對於兩個命題，如果一個命題的條件和結論分別是另外一個命題的結論的否定和條件的否定，那麼這兩個命題叫做 互為逆否命題，其中一個命題叫做 原命題，另外一個命題叫做原命題的 逆否命題。

全稱命題是一種高階數學命題。 特稱命題是指存在性命題。

名詞簡介:在傳統三段論邏輯中，“某些S是P”或“一些S不是P”的命題形式叫做特稱命題。第一種命題形式即特稱肯定命題，用符號“I”（SIP）表示，第二種命題形式是特殊否定命題，用符號“O”（SOP）表示。在謂詞演算中，特稱肯定命題被分析為：“至少存在一個x，以致這個x是S並且x是P”。特稱命題一般被認為含有指稱表示式，因此具有存在意義。特稱命題相對比於全稱命題，後者的命題形式是“所有S是P”和“所有S不是P”，它們一起構成傳統邏輯的四種基本型別的命題。