∀

∀的意思是：對所有；對任意；對任一；任何一個，∀屬於謂詞邏輯。 ^[1-2] 

∀是一個全稱量詞 。擁有∀的命題稱為全稱命題。

“∀x：P(x)”的意思是表示P(x)對於所有 x 為真。

例如：∀ n ∈ N: n² ≥ n為真[n代入任何自然數均可以導致 n² ≥ n]。 ^[1-2] 

∀是全稱量詞，而∃是存在量詞，擁有∃的命題稱為存在命題。∀與∃是相對的。

∀可以通過按住ALT鍵，輸入8704然後鬆開ALT鍵打出來