当前位置:百科知识 > 计算机等级考试四级

问题描述:

[单选] 公式(∀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))
参考答案:查看
答案解析:
☆收藏

随机题目