将结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s

时间:2021-04-19 09:55来源:未知作者:admin 点击: 次

9.将结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，所得到的树称为＿。 A. 归结树 B. 证明树 C. 修改证明树 D. 置换

9.将结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，所得到的树称为＿。

A. 归结树

B. 证明树

C. 修改证明树

D. 置换

(责任编辑：admin)要这答案加QQ：800020900 或加微信：vq800020900 获取

顶一下

(0)

踩一下

(0)

------分隔线----------------------------

猜您喜欢

栏目列表

推荐内容

热点内容

提示信息×