归结演绎 归结演绎推理 前置知识 将谓词公式化为子句集 以例题演示步骤 谓词公式不可满足的充要条件是其子句集不可满足 子句集是不可满足的,等价于其全部子句的合取式是不可满足的 鲁滨逊归结原理 基本思想 定理 例题 归结反演 基本步骤 例题