1 Answer
1

$\forall x[P(x)\to Q(x)]$ says that if you pick an $x$ from the relevant domain, and it happens to have property $P$, then it will also have property $Q$.

$\forall xP(x)\to\forall xQ(x)$ says that if every element of the domain has property $P$, then every element of the domain has property $Q$. There’s no real connection between the $x$ in $\forall xP(x)$ and the $x$ in $\forall xQ(x)$: the scope of the first quantifier extends only over $P(x)$.

$\forall yP(y)\to\forall zQ(z)$ also says that if every element of the domain has property $P$, then every element of the domain has property $Q$. This version just makes explicit, by using different variables, the fact that the scope of the first quantifier extends only over $P(y)$; it doesn’t reach the righthand side of the implication.

say the same thing. The point of the exercise is that if a variable is bound, meaning that it’s governed by (technically, within the scope of) some quantifier, it is not the same as any other bound variable, even if they share the same name. Statement $(1)$ actually contains three different variables that are all called $x$; in statement $(2)$ they are given different names.

By the way, $(1)$ (and therefore $(2)$) is true, though that apparently isn’t part of the exercise.

Added: A similar phenomenon from another part of mathematics may be helpful. Suppose that $f(x)$ and $g(x)$ are continuous, real-valued functions on the interval $[0,1]$, and that $f(x)\le g(x)$ for all $x\in[0,1]$. Consider the following (true) statements:

$(3)$ and $(4)$ are exactly equivalent, even though $(3)$ uses the same variable on both sides of the inequality, and $(4)$ uses different variables. These definite integrals are just numbers, and the value of that number is independent of the name of the variable of integration. The $x$ in the lefthand integral in $(3)$ isn’t actually the same as the $x$ in the righthand integral: each in a sense ‘exists’ only within its own integral. The bound variables in your statements are similarly tied to the scopes of their respective quantifiers and in a sense ‘exist’ only within those scopes.