全称量化子

(ぜんしょうりょうかし universal quantifier)


述語論理および顔文字において使用される記号。 大文字のAをひっくり返したもの(∀)で、 `∀x'は「すべてのxについて…」 (xは変項)と読む。 存在量子化も参照せよ。

ちなみに、HTMLで∀を出すには、 ソースに`∀'と書けばよい。

20/Aug/2003


参考文献


KODAMA Satoshi <kodama@ethics.bun.kyoto-u.ac.jp>
Last modified: Tue Jan 15 02:02:09 2002