存在量化子

(そんざいりょうかし existential quantifier)


述語論理で用いられる記号(∃)で、 `∃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