数学逻辑推断请问以下两个式子等价吗?还是谁比较strong?能不能给下prove,thanks!∀x(P (x) ⇒ Q(x)) vs.(∀xP (x)) ⇒ (∀xQ(x))

分类: 作业答案 • 2022-08-01 22:08:14

问题描述：

数学逻辑推断
请问以下两个式子等价吗?还是谁比较strong?能不能给下prove,thanks!
∀x(P (x) ⇒ Q(x)) vs.(∀xP (x)) ⇒ (∀xQ(x))

答