2.
求下面公式的前束范式:
\begin{equation*}
\forall x F(x) \vee \neg \exists x G(x)
\end{equation*}
Hint 1 应用量词否定的等值式\(\forall x F(x) \vee \forall x \neg G(x)\)
Hint 2 应用换名规则\(\forall x F(x) \vee \forall y \neg G(y)\)
Hint 3 x辖域扩张\(\forall x (F(x) \vee \forall y \neg G(y))\)
Hint 4 y辖域扩张\(\forall x \forall y(F(x) \vee \neg G(y))\)
Solution\(\forall x \forall y(F(x) \vee \neg G(y))\)