ブルーバックスの集合とは何かを読んでるんだけど、これ難しいな、、
集合の
¬（Ａ∩Ｂ）⇔¬ＡＵ¬Ｂ
等の（）をつけるはずすの４パターン？は納得したんだけど
¬∀ｘＰ（ｘ）⇔∃ｘ¬Ｐ（ｘ）
とかの∀と∃の変換はなんか納得できない。形式に沿っていったらそうなるけどさ、言葉にすると
変になるというか、そもそも
¬∀ｘＰ（ｘ）と∀ｘ¬Ｐ（ｘ）がどう違うか分からないんだよなあ。
全てのｘはＰ（ｘ）を満たさない
全てのｘをみたすようなＰ（ｘ）はない
と読めばいいんだろうか？