>>92
英語と同じで意訳してもいいだろうね。
¬∀xP(x) は「すべての x は P(x) を満たす、ということはない」とか、
∀x¬P(x) は「すべての x は P(x) を満たさない」とか訳せばいいんじゃね?

∃x¬P(x) は「P(x) を満たさない x が存在する」といえば、
なんとなく ∃x¬P(x) ⇔ ¬∀xP(x) っぽい気がする。
「すべての x は P(x) を満たす、ということはない」ってことは、 P(x) を満たさない x が 1 つでもあるんだよね。