【学习目标】
   通过本章的学习,应达到:
   ◇ 掌握和理解命题公式等值的概念,理解等值定理的内容及其证明。掌握命题公式等值的判别方法;
   ◇ 熟悉基本的等值公式,对于常用的等值公式,能在理解的基础上熟记并能在等值演算中灵活使用;
   ◇ 理解命题公式与真值表的关系,能够由给定的真值表写出相应的命题公式;
   ◇ 了解联结词完备集的概念,掌握判别联结词完备集的方法,了解对偶式的基本概念;
   ◇ 理解范式的概念和范式定理,深入理解主析取范式和主合取范式的构成,能够将命题范式熟练的化成相应的主析取范式和主合取范式;
   ◇ 理解推理形式的基本结构,掌握重言蕴涵的概念和主要结果;
   ◇ 熟悉基本的推理公式,掌握推理公式的不同证明方法;
   ◇ 理解基本的推理规则,掌握使用推理规则进行推理演算的方法;
   ◇ 理解归结推理规则,掌握用归结推理法证明的方法。

【学习指南】
   本章涉及的知识点较多,先后出现几十条基本等值公式和推理公式。加上基本推理规则和归结推理规则,增加了学习理解的复杂性。在学习中,要熟练运用第一章所学的联结词的定义和真值表方法,在理解命题公式等值的概念基础上:
   ◇ 熟记常用的等值公式;
   ◇ 熟记基本的推理公式;
   ◇ 熟记基本的推理规则和归结推理规则;
   ◇ 熟练掌握化主析取范式和主合取范式的方法。
   尽管本章出现的公式较多,但学习时要能够抓住主要矛盾,分清主次。对于最基本、最常用的等值公式一定要熟记不忘,使用时能够信手拈来、灵活运用。对于一些不太常用的公式,至少应该掌握利用基本公式的推导方法,所有公式都应在理解的基础上加以记忆,而不是单纯的死记硬背。
   另外,本章涉及到一些重要的基本概念,如命题公式的等值,联结词的完备集的概念,范式和主范式的概念,推理演算的概念等,必须在学习的过程中不断加以理解。对于定理的证明,如一时没有看懂,也不必着急,可通过深化学习逐步理解。

【重点和难点】
   本章的重点和难点如下:
   ◇ 两个命题公式等值(A = B)的判别方法,以及推理公式A==>B的不同证明方法,可参见2.8.2节;
   ◇ 主范式的概念和主析取范式、主合取范式的构成,任给一个命题公式如何化成相应的主析取范式和主合取范式是本章学习的一个重点内容;
   ◇ 基本的等值公式、基本推理公式和基本推理规则,是本章学习中应当重点掌握的内容;
   ◇ 归结推理法是定理机器证明的重要方法,本章的学习还将为第五章谓词逻辑的归纳推理法奠定基础,因此要真正理解归结推理法证明的过程;
   ◇ 对偶式及其证明是本章中相对具有一定难度的内容,但并非重点。在理解上可能出现问题的是教材中的几个未加证明的定理,如范式定理及定理2.6.1等。另外,2.10.2中归结过程的证明过程也可能会给理解带来一定难度。

【预习思考题】
   ◇ 如何判断两个命题公式是否等值?
   ◇ 如果仅仅知道命题公式的真值表,是否可以构造命题公式本身?应该如何构造?
   ◇ n个命题变项可构造多少个联结词?其中有多少是彼此独立的?
   ◇ 含有n个命题变项的公式,是否都有唯一的与之等值的公式表达?
   ◇ 如何由已知前提推出逻辑结论?
   ◇ 是否存在适合机器定理证明的推理方法?其过程如何?