全称命題の否定は全体にかかる
¬∀…
⇔
∃…