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

Let us reconsider two examples
\begin{align*}
\end{align*}
\pause
\emph{Note that both statements are equivalent!}
\pause
\bigskip

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