问题描述：
[单选]
（∀x）（∃y）（∀z）（P（x） ∧ F（y，z） → Q（y，z（）是前束形范式
A．对
B．错 , 前束形范式中不允许有 → 和 ⟺
参考答案：查看无
答案解析：无
☆收藏
答案解析：无
☆收藏
上一篇：若C12是子句集S中C1、C2的归结式，则用C12代替C1、C2后得到的新子句集S1不可满足，则S也不可满足
下一篇：（∀x）（∃y）（∀z）（P（x） ∧ F（y， z） ∧ Q（y， z（）是斯克林范式．
- 我要回答: 网友(216.73.216.220)
- 热门题目: 1.已知英文字母m的ASCII码 2.放苗前准备步骤？ 3.试水存活率到达多少可以放苗？