【课前思考】 　◇ Herbrand定理和归结法之间的关系。 　◇在命题逻辑中，归结法的逻辑基础是什么？ 　◇什么样的命题可以由归结法来证明？ 　◇谓词逻辑和命题逻辑的区别和联系是什么？ 　◇ 如何证明一个逻辑等式为真？ 　◇什么是合取范式和析取范式？ 　◇ 什么是子句集？ 　◇什么叫归结 　◇ 什么叫归结策略 【学习目标】 　　本章主要讨论命题逻辑和一元谓词逻辑的归结推理方法。同学需要在熟练掌握一般逻辑知识的基础上，学习Skolem标准形和Herbrand定理，从而对归结原理有一个比较透彻的了解。 【学习指南】 　　在学习新知识的同时回顾以前所学的一般逻辑知识。对所涉及的概念和方法不要死记硬背，对于比较抽象的概念，可以通过比较简单的例子来理解。 【难重点】 　　应该熟练掌握把逻辑公式的合取范式、Skolem标准形的转化方法、归结法进行归结的过程，掌握线性归结、支撑集归结等归结策略。 【知识点】 　◇ 归结方法的特点、与其它推理方法的比较 　◇ 命题逻辑基础，前束范式，约束变量换名规则 　◇ Skolem标准形的定义，子句和子句集，定理的内容及推广 　◇ H域、H解释、语义树 　◇ 合一和置换，归结过程 　◇ 归结法的控制策略的原则及基本方法。