Kuantor dan Negasi.

\(\neg \forall x P(x)\) ekuivalen dengan \(\exists x \neg P(x)\text{.}\)

\(\neg \exists x P(x)\) ekuivalen dengan \(\forall x \neg P(x) \text{.}\)