公式∃xP(x)→∀xQ(x)对应的前束范式为_____________。

2024-08-03 23:50:56
离散数学(02324)

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

上一篇：在谓词推理过程中,由(∀x)P(x)得到P(a),其中a为论域中的某个个体,用的是_____________规则,记为_____

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