2008-09-01 量化子 logic 今日思わぬところで見かけて思い出せなかったのでメモ。 記号 呼名 例式 左記式の意味 ∀ 全称量化子 ∀xPx すべてのxが条件Pを満たす ∃ 存在量化子 ∃xPx 条件Pを満たすxが存在する 上記の記号(ゲンツェンさん作)以外にも別の人が導入した∪とかΠとかの書き方があるらしい。大変だなぁ…ちなみに否定記号は¬。IMEで「ひてい」を変換したら出た。そこで調子に乗って探したところ「すべて」で∀が、「そんざい」で∃が出てきた。