符號$|稱為存在唯一量詞符，用來表達恰有一個。 “任意”：?；“存在”：?。 全稱量詞：短語“對所有的”，“對任意的”在陳述中表示整體或全部的含義，邏輯中通常叫做全稱量詞，并用符號“”表示。 存在量詞：短語“存在一個”，“至少有一個”在陳述中表示個別或者一部分的含義，在邏輯中通常叫做存在量詞，并用符號“”表示。