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