公式(∀xF(x,y)→∃yG(y))→∀xH(x,y)的前束范式是（）

题库:计算机等级考试 类型:最佳选择题 时间:2017-07-03 16:13:39 免费下载:《单选题》Word试卷

公式(∀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))

本题关键词:纸草束茎式,莲花束茎式,光束式探测器,前庭模式,公式,全反式维A酸,卧式前后位,卧式后前位,立式后前位,立式前后位;