在公式 \forall x (F(x, y) \to \exists y G(y…

在公式 $\forall x (F(x, y) \to \exists y G(y)) \land H(x)$∀x(F(x,y)→∃yG(y))∧H(x) 中，下列说法正确的是（　）