问答题
简答题
简述用归结法证明定理的过程。
【参考答案】
（1）将已知条件化作子句集；
（2）将结论的否定化作子句集；
（3）从所有子句集中选取两个可归结的子......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
相关考题
-
问答题
什么是合一？什么是合一者？ -
问答题
什么是置换？置换是可交换的吗？ -
问答题
在与或图中，什么是能解节点？什么是不能解节点？
