问题描述:
[单选]
公式(∀xF(x,y)→∃yG(y()→∀xH(x,y)的前束范式是()
A.∀x∀t∀w((F(x,y)→G(t))→H(w,y))
B.∀x∃t∀w((F(x,y)→G(t))→H(w,y))
C.∀x∃y((F(x,y)→G(y))→H(x,y))
D.∃x∃t∃w((F(x,y)→G(t))→H(w,y))
参考答案:查看无
答案解析:无
☆收藏
答案解析:无
☆收藏
上一篇:下列各项中,不影响所有者权益总额,仅影响所有者权益结构发生变动的有()。
下一篇:设无向图G=<V,E>,其中V={V1,V2,V3,V4,V5},E={(V1,V4),(V4,V4),(V1,V2), (V2,V3),(V3,V4)},下列命题为真的是()。
- 我要回答: 网友(18.117.254.177)
- 热门题目: 1.可采用下述()来减少输入/输 2.操作系统中设置的一个统一的机 3.批处理系统中,周转时间是指(