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{.}\)

in-context