全称量化子とは？

ぜんしょうりょうかし

「すべての x について〜が成り立つ」ことを表す記号 ∀ のことです。

全称量化子（∀）は述語論理において「すべての x に対して P(x) が成立する」を「∀x P(x)」と表す記号である。定義域内のすべての要素が述語を満たすことを主張し、一つでも満たさない反例が存在すれば偽となる。存在量化子（∃）とともに述語論理の表現力を大幅に高める道具として機能する。