36/116
\begin{frame}
\frametitle{Not Forall and Not Exists}

Let us reconsider two examples
\begin{align*}
\myex{x}{\neg P(x)} &\quad\quad \hint{There exists someone who is not green.}
\end{align*}
\pause
\emph{Note that both statements are equivalent!}
\pause
\bigskip

\begin{goal}{}
In general we have the following equivalences:
\begin{talign}