Negation-centric equivalent

• 記号: $\neg \exists$
• 「存在しない」を意味する
• 例: $\neg \exists x:P(x)$: $P(x)$を満たす$x$は存在しない
• $\neg \exists x:P(x)$と、$\forall x:\neg P(x)$は等価