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