谓词公式∃x∃yF(x,y)→∀zG(x,y,z)的前束范式为_________。

谓词公式∃x∃yF(x,y)→∀zG(x,y,z)的前束范式为_________。
【正确答案】：∀x ∀y ∀z(F(x,y) →G(u, v, z)) (注:u、v可以自行命名)

↑