(そんざいりょうかし existential quantifier)
述語論理で用いられる記号(∃)で、 `∃x'は「あるxが存在し…」(xは変項)と読む。 全称量子化も参照せよ。
ちなみに、HTMLで∃を出すには、 ソースに`∃'と書けばよい。
20/Aug/2003