∀x(P(x) → Q(x)) and ∀xP(x) → ∀xQ(x)逻辑语言这个成不成立，可不可以推一下

∀x(P(x) → Q(x)) and ∀xP(x) → ∀xQ(x)

可不可以解释一下这两个式子 他们是否在逻辑上等价