【本章小结】

   本章讨论了命题逻辑的等值和推理演算,是命题逻辑的核心内容。
   1. 首先介绍了命题公式等值的概念,并通过等值定理给出了命题公式等值的充要条件;
   2. 介绍了常用的基本等值公式(命题定律),并对一些重要的公式给出了解释性的说明;
   3. 给出了由给定的真值表列写相应的命题公式的方法,从而在理论上揭示了命题公式与真值表的关系;
   4. 介绍了联结词的完备集及其简单的判别方法,介绍了对偶式的概念;
   5. 重点介绍了范式和主范式的概念,给出求范式和主范式的步骤,特别是将命题公式化成相应的主析取范式和主合取范式的方法;
   6. 介绍了推理形式的结构以及重言蕴涵的概念;
   7. 介绍基本推理公式,给出了证明推理公式的几种不同方法和途径;
   8. 介绍了基本的推理规则,给出了推理演算的过程和方法,这部分也是谓词逻辑推理演算的基础;
   9. 介绍了用归结推理规则进行归结证明的过程与方法。