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