Problema No. 64 del libro de ejercicios de Lógica de Predicados de Twootie

¿Son equivalentes estas dos proposiciones?

(1)

\begin{eqnarray} (\exists x) (Fx \supset P ) \\ (( \forall x) Fx \supset P ) \end{eqnarray}