1、（ 1）需要 熟练掌握 的知识点包括：命题的定义、逻辑联结词、命题变元、命题公式（合式公式）、永真式、永假式、可满足式、等价式、蕴涵式、极小项、极大项、主析取范式、主合取范式。第 1章命题逻辑重点（ 2） 掌握 基本的等价式和蕴涵式，并掌握常用的等价式和蕴涵式的证明方法（ 替换规则 和 推论规则 ）。第 1章命题逻辑重点（续）（ 3）要能准确地求出命题公式的主析取范式和主合取范式。掌握主析取范式和主合取范式与真值表的对应关系，主析取范式和主合取范式的关系。第 1章命题逻辑重点（续）（ 4）掌握命题符号化的原则；（ 5）熟练掌握四个推论规则（ P、 T、 CP、F）进行有效性论证。第 1章命题逻
2、辑重点（续）第 2章 谓词逻辑重点（ 1）需要熟练掌握的知识点包括：谓词、全称量词 (x)、存在量词 (x) 、个体、个体域、个体变元（约束变元和自由变元）、谓词公式的解释（永真、永假、可满足）、谓词公式的基本的等价式和蕴涵式。第 2章 谓词逻辑重点（续）（ 2）在符号化时要特别注意量词和逻辑联结词的搭配： 全称量词 对应逻辑联结词“ ”， 存在量词 对应逻辑联结词 “ ”。（ 3）在谓词逻辑推理的证明中，要特别注意 US， ES， UG， EG规则成立的条件（用 ES规则指定的个体不能用 UG规则加以推广）。第三章 集合(1)掌握集合的基本概念及其表示，集合之间的关系（子集 、真子集 ）、元
3、素与集合的关系（属于 ）、全集、空集、幂集、笛卡尔乘积等概念。(2)能熟练地证明集合中的相等关系、包含关系。(3)掌握集合的五种基本运算：A、 A B、 A B、 A-B、 A B及集合运算的基本定律。第四章二元关系(1)掌握关系矩阵和关系图的表示方法。(2)掌握合成运算、逆运算、闭包运算的概念。(3)熟练掌握关系的性质（自反性、反自反性、对称性、反对称性、可传递性）及其判别方法。第四章二元关系（续）(4)掌握等价关系（自反、对称、可传递）和偏序关系（自反、反对称、可传递）的概念及证明。(5)掌握等价关系和划分之间的相互关系。(6)掌握偏序关系和哈斯图，并会求极大（小）元、最大（小）元、上（下）界、上（下）确界。第四章 函数一、主要内容二、本章要点
