∀xF(x)→∃yG(y) 与 ∀x∃y(F(x)→G(y))是否等值

这两个命题不等值。

首先，对于前者，对于任何一个x使得F(x)成立，那么根据蕴含的定义，F(x)→∃yG(y)也必定成立。因此，我们可以得出结论：如果存在一个x使得F(x)成立，那么∃yG(y)也必定成立。也就是说，前者的真值只与是否存在一个满足F(x)的x有关。

而对于后者，我们可以发现，对于任何一个x，如果F(x)成立，那么根据蕴含的定义，F(x)→G(y)也必定成立，其中y可以是任何一个使得G(y)成立的值。因此，我们可以得出结论：如果存在一个x使得F(x)成立，那么∃y(F(x)→G(y))也必定成立。也就是说，后者的真值不仅与是否存在一个满足F(x)的x有关，还与是否存在一个y使得G(y)成立有关。

因此，这两个命题不等值。