1、（ 1）需要 熟练掌握 的知识点包括：命题的定义、逻辑联结词、命题变元、命题公式（合式公式）、永真式、永假式、可满足式、等价式、蕴涵式、极小项、极大项、主析取范式、主合取范式。第 1章 命题逻辑重点（ 2） 掌握 基本的等价式和蕴涵式，并掌握常用的等价式和蕴涵式的证明方法（替换规则 和 推论规则 ）。第 1章 命题逻辑重点（续）（ 3）要能准确地求出命题公式的主析取范式和主合取范式。掌握主析取范式和主合取范式与真值表的对应关系，主析取范式和主合取范式的关系。第 1章 命题逻辑重点（续）（ 4）掌握命题符号化的原则；（ 5）熟练掌握四个推论规则（ P、 T、 CP、F） 进行有效性论证。第 1章
2、 命题逻辑重点（续）证明等价式 :P41#8(1)(1)P (Q P)P (P Q)左式 P (Q P)T右式 P( P Q)P( P Q)T所以： P (Q P)P (P Q)P41#8(5)(5)(P Q A C) (A P Q C) (A (P Q) C左式(P Q A C) (A P Q C) (P Q A) (A P Q) C (A (P Q) (P Q) C(A (P Q) (P Q) C(A (P Q) (P Q) C(A (P Q) C (A (P Q) C 右式P41#11(2)将下列公式用只含 和 的等价式表示 :(2)(P (Q R) P Q( P (Q R) P Q(
3、P Q R) P Q ( P Q R) P Q)求命题公式的主范式 P42#17(1)(P Q) (P Q)(P Q) (P Q) (P Q) (P Q) (P Q) (P Q)011011(m1,m2,m3)(M0)P Q求命题公式的主范式 P42#17(6)(P Q R) (P Q R)(P (Q R) (P (Q R)(P Q) (P R) (P Q) (P R)(P Q) (R R)( (P R) (Q Q) (P Q) (R R)( (P R) (Q Q) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (M 1 , M2 , M3 , M4 , M5 , M6)(m0,m7)(P Q R) (P Q R)CP规则的使用 P42#22(3)(P Q) R(P Q) Rn P Q P规则（附加前提）n P T规则 (1)n Q T规则 (1)n P Q T规则 (2)(3)n (P Q) R P规则n R T规则 (4)(5)n (P Q) R CP规则 (1)(6)
