Sí, efectivamente, estás en lo correcto en su evaluación de la veracidad o falsedad de cada instrucción.
En la primera, podemos ver esto como permitiendo $y$ a depender de $x$. Así que para cualquier $x$, podemos encontrar algunos de $y$, y, en particular, se puede simplemente optar $y = 7 - 2x$, con lo cual garantiza la equalition sostiene.
En el segundo caso, $y$ no puede depender de cualquier $x$. Para que la expresión sea verdadera, debemos considerar la existencia de un determinado $y$ tal que para cada a $x$, independientemente de lo $x$ puede ser, la igualdad se mantiene. Desde $x$ puede variar, pero la $y$ no puede variar en consecuencia, la afirmación es claramente falso.
Estas dos declaraciones ayudar a demostrar crucial en el orden de los cuantificadores y cuantificar las variables pueden ser: en la primera, tenemos una declaración verdadera, y en el segundo, una declaración falsa, y la única diferencia entre ellos es la ubicación de $\exists y \cdots$.