Quotation \(\neg \forall x P(x)\) is equivalent to \(\exists x \neg P(x)\text{.}\) \(\neg \exists x P(x)\) is equivalent to \(\forall x \neg P(x) \text{.}\)
\(\neg \forall x P(x)\) is equivalent to \(\exists x \neg P(x)\text{.}\)
\(\neg \exists x P(x)\) is equivalent to \(\forall x \neg P(x) \text{.}\)