问答题
简述基于归结法的问题提取回答的过程。
（1）首先用归结法证明结论成立，并画出归结树；（2）找出结论的否定所对应的子句s在归结树中的位置，用重言式s......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 简述用归结法证明定理的过程。
问答题 什么是合一？什么是合一者？
问答题 什么是置换？置换是可交换的吗？
