(ぜんしょうりょうかし universal quantifier)
述語論理および顔文字において使用される記号。 大文字のAをひっくり返したもの(∀)で、 `∀x'は「すべてのxについて…」 (xは変項)と読む。 存在量子化も参照せよ。
ちなみに、HTMLで∀を出すには、 ソースに`∀'と書けばよい。
20/Aug/2003