記号の意味 「∀xPx」は存在記号と否定記号とを用いて、「¬∃x¬Px」と表現することもできる。 「¬∃x¬Px」は「P でないような x は存在しない」という意味だから、 これはすなわち「全ての x は Pである」ということである。
https://en.wikipedia.org/wiki/Universal_quantification Universal quantification (抜粋) In predicate logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all".
