∀
読み：すべての
外語：for all
全称記号。全ての〜について、という意味を持つ。
用法
例えば、
∀x(9≦年齢(x)∧年齢(x)≦15 → 萌え(x))
のように使用し、「for all x、if 9≦年齢(x)
AND
年齢(x)≦ 15、then 萌え(x)」と読む。
再検索