离散数学的恒等判断问题

问题遇到的现象和发生背景

(∀xP(x))→∀xQ(x)≡∀x(P(x)→Q(x)) 左右两边的式子是否恒等？
如果不等价那么其差异在哪里？

用代码块功能插入代码，请勿粘贴截图

无

运行结果及报错内容

无

我的解答思路和尝试过的方法

无

我想要达到的结果

无