Skip to main content

Section 6.11 量词否定等值式

\begin{equation*} \neg \forall x A(x) \Iff \exists x \neg A(x) \end{equation*}
\begin{equation*} \neg \exists x A(x) \Iff \forall x \neg A(x) \end{equation*}