全稱量化

在謂詞邏輯中 ， 全稱命題是對論域內所有成員的性質或關係的論斷結果的陳述 。 在符號邏輯中 ， 全稱量詞 ∀ 是用來指示全稱量化的符號 。 與它相對的 ， 表示至少一個事物爲真的量詞爲存在量詞 。