企源知识库

公式∃xP(x)→∀xQ(x)对应的前束范式为_____________。
【正确答案】：∀x∀y（¬P（x）∨Q（y））（或∀x∀y（P（x）→Q（y）））