,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,期中考试复习要点,第一章 命题逻辑,1.1 命题符号化，特别是充分和必要条件的区分。,重点：P4，例1.6；P33，习题1.5,1.2 公式类型概念，三种类型。,掌握P6定义,1.3 等值演算公式及作用，判断公式类、等值证明、主析合取范式求解。,掌握P9公式，会判断公式类别，参考例1.10；,会求主范式；P34，习题1.8,1.5 主析(合)取范式求解，真值表法、等值演算法4个步骤,掌握P16-18求解过程.例1.14,第二章 一阶逻辑,2.1,掌握利用谓词命题符号化，,全称量词、存在量词、特性谓词的使用,。,理解,P41,，例,2.5,；,P53,，习题,2.3,2.2,约束与自由变元的概念,、,给定解释能判断公式的真假。,参考,P43-44,，,例,2.6,，例,2.8,，给定解释会判断真假,2.3,一阶逻辑等值式，掌握定理；,会求前束范式求法,参照,P48,，例,2.11,第三章 集合,3.1 幂集的概念，会求集合的幂集，特别注意有空集作为元素时候不要混淆。,参考P59，例3.3；,3.2 集合的根本运算，尤其证明集合相等。概念法，文氏图法、等价公式法。,参考P75，习题3.16,3.3 集合中元素的计数，定理3.2。,掌握计数公式，例,第四章 二元关系和函数,4.1,笛卡尔积与二元关系的概念,4.2,关系的运算，,关系的定义域值域、合成、像，,会求,R,的,n,次幂,。,参考,P83,，例,4.7,；,P85,，例,4.8,4.3,关系的性质，自反、对称、传递、反自反、反对称概念。,必须会通过概念、图、以及矩阵判断性质。关系运算后的性质,P88,，表,4-2.,