∀xF(x,y)↔∃x(x,y)的前束范式
答案:2 悬赏:40
解决时间 2021-12-14 16:25
- 提问者网友：若相守￡卟离
- 2021-12-14 00:17
∀xF(x,y)↔∃x(x,y)的前束范式
最佳答案
- 二级知识专家网友：傲娇菇凉
- 2021-12-14 01:33
o
全部回答
- 1楼网友：苦柚恕我颓废
- 2021-12-14 02:41
求前束范式的步骤：
∀x(q(x)→g(x,y,z))→(∀yp(y)∧∃zh(y,z))
∀x(q(x)→g(x,y,z))→(∀yp(y)∧∃z∀ah(a,z))
∀x(q(x)→∀b∀cg(x,b,c))→(∀yp(y)∧∃z∀ah(a,z))
∀y∃z∀a(∀x(q(x)→∀b∀cg(x,b,c))→(p(y)∧h(a,z)))
∀y∃z∀a(∀x∀b∀c(q(x)→g(x,b,c))→(p(y)∧h(a,z)))
∀y∃z∀a∃x∃b∃c((q(x)→g(x,b,c))→(p(y)∧h(a,z)))
我要举报
如以上问答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯