∀x(P(x) → Q(x))和∀xP(x) → ∀xQ(x) 的区别

∀x(P(x) ->Q(x))和∀xP(x) -> ∀xQ(x)

令P(x) 为矛盾式，可为真也可为假 

令Q(x)为假

因为P(x)不是一直为True，所以∀x(P(x) → Q(x))不是一直为真，即∀x(P(x) → Q(x))为假

而∀xP(x) → ∀xQ(x) ，看看前面那个∀xP(x) ，

因为P(x)为矛盾式，所以∀xP(x) 为假。

既然∀xP(x) 为假，那么F->T为真。∀xP(x) → ∀xQ(x)