Paragraph

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