今日思わぬところで見かけて思い出せなかったのでメモ。 記号 呼名 例式 左記式の意味 ∀ 全称量化子 ∀xPx すべてのxが条件Pを満たす ∃ 存在量化子 ∃xPx 条件Pを満たすxが存在する 上記の記号（ゲンツェンさん作）以外にも別の人が導入した∪とかΠとかの書き方…