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

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

分类：离散数学(02324)
发表：2024年09月14日 03时09分56秒
作者： admin
阅读： (2)

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

Top