2.14 求下列各式的前束范式。 。 (1)┐∃xF(x)→∀yG(x,y)。 。 (2)┐(∀xF(x,y)∨∃yG(x,y))。

对于第一个式子，我们可以先将它转化为 Skolem 标准式，得到：┐F(a)∨∀yG(a,y)，其中 a 是一个新的常量。然后再将其转化为前束范式，得到：∀x(┐F(x)∨∀yG(x,y))。

对于第二个式子，我们可以先将它转化为否定范式，得到：∃x┐F(x,y)∧┐∃yG(x,y)。然后再将其转化为 Skolem 标准式，得到：┐F(a,y)∧┐G(b,y)，其中 a 和 b 都是新的常量。最后再将其转化为前束范式，得到：∀y(┐F(a,y)∧┐G(b,y))。