The first statement $\forall x(P(x) \rightarrow Q(x))$ means "for all x, if P(x) is true, then Q(x) is true". The second statement $\forall x P(x) \rightarrow \forall x Q(x)$ means "if for all x, P(x) is true, then for all x, Q(x) is true".
Show more…