量化子

今日思わぬところで見かけて思い出せなかったのでメモ。

記号 呼名 例式 左記式の意味
全称量化子 ∀xPx すべてのxが条件Pを満たす
存在量化 ∃xPx 条件Pを満たすxが存在する

上記の記号(ゲンツェンさん作)以外にも別の人が導入した∪とかΠとかの書き方があるらしい。大変だなぁ…

ちなみに否定記号は¬。IMEで「ひてい」を変換したら出た。そこで調子に乗って探したところ「すべて」で∀が、「そんざい」で∃が出てきた。