Orden de los cuantificadores existenciales y universales.

[JuanGuzman17]

Se puede considerar que esas formulas son equivalentes, o el hecho de que un cuantificados este "afuera" de la formula cambia su significado?

[tdsilva1]

Son equivalentes. En general siempre que y no aparezca como variable libre en S, se pueden considerar fórmulas de ese tipo como equivalentes.