今日の意味論の授業でちょっと話題になったので。 ずっと気になってたんですけど、量化のところで扱う論理記号の∀と∃って何か簡単な呼び方は無いのでしょうか… 例えば論理式、というか意味表示なんかを（∃x(student'(x)∧lazy'(x))とか（笑））書いたときは「…