Example 3.1.9.
Can you switch the order of quantifiers? For example, consider the two statements:
\begin{equation*}
\forall x \exists y P(x,y) \qquad \mathrm{ and } \qquad \exists y \forall x P(x,y)\text{.}
\end{equation*}
Are these logically equivalent?