¬ (∀xF(x,y)Ⅴ∃yG(x,y))对应的前束范式是______。

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

¬ (∀xF(x,y)Ⅴ∃yG(x,y))对应的前束范式是______。
【正确答案】：∃x∀y¬(F(x,u)ⅤG(v,y))

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

下一篇：谓词公式∀x(P(x)→∃yQ(y))⋁R(y)中, ∀x的辖域是________，自由变元是________。