Paragraph

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