问答题
简述基于规则的正向演绎系统的使用条件。
（1）事实表达式是任意形式；（2）规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式；......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 简述基于归结法的问题提取回答的过程。
问答题 简述用归结法证明定理的过程。
问答题 什么是合一？什么是合一者？
