关于两个一阶逻辑命题等价性的疑问

我在做一个证明的时候遇到了逻辑上的困惑，于是试着把相关逻辑归纳成了下面两个命题。我自己实在搞不明白这两个表述是否等价，所以想来这里和大家讨论一下，希望能得到帮助。

我列出的两个命题是：

1. $\forall\ a \in A,\ \left[,\left(,\exists\ b \in B : \operatorname{P}\left(a,b\right),\right) \Rightarrow \operatorname{Q}\left(a\right),\right]$
2. $\forall\ a \in A,\ \left[,\exists\ b ∈ B : \left(,\operatorname{P}\left(a,b\right) \Rightarrow \operatorname{Q}\left(a\right),\right),\right]$

我一直在琢磨这两个表达式是不是同一个意思？我个人觉得它们是等价的，但还是想确认一下，所以来请教大家😊。

备注：内容来源于stack exchange，提问作者user1355670