>>269
よく分からんが、述語論理的にはこうだぞ
∃xP (Pという性質を持つxが存在する)
∀xP (全てのxはPという性質を持つ)
¬∃xP (Pという性質を持つxは存在しない)
¬∀xP (全てのxがPという性質を持つわけではない)