∀

參見：Appendix:"a"的變體

∀ U+2200, ∀ FOR ALL ← ⇿ [U+21FF] 數學運算子 ∁ → [U+2201]

跨語言

描述

上下顛倒的大寫字母 A。

詞源

這個符號由格哈德·根岑提出，以拉丁字母 A 為基礎，類比於符號 ∃。

符號

∀

1. (數學，邏輯學) 用於謂詞演算等的符號，用於表示全稱量詞，意思是「對所有」

   近義詞： ⋀

參見

• ∃
• da, de, di, ro, zo'u（邏輯語）