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

分类: 离散数学(02324) 发布时间: 2024-08-03 23:50 浏览量: 3
¬ (∀xF(x,y)Ⅴ∃yG(x,y))对应的前束范式是______。
【正确答案】:∃x∀y¬(F(x,u)ⅤG(v,y))