2.2谓词公式的等价式和蕴涵式(1学时)：了解谓词公式的定义，了解辖 域理解常用的等价式和蕴涵式。 §2.3前束范式(1学时)：了解谓词公式的范式。 §2.4谓词演算的推理理论(2学时)：掌握谓词演算的推理规则S、G、 S、EG,并熟练应用规则对不太复杂的推理进行谓词演算的证明。 考核要求：能将不太复杂的命题符号化，领会量词的概念，能将不太复杂的 谓词推理使用推理规则证明。 第二篇集合论 集合论是现代各科数学的基础。它的创始人是康脱(G.Cantor,1845-1918), 由他所创立的朴素集合论，由于在定义集合的方法上缺乏限制，导致了许多停论。 20世纪初由策墨罗(Z)等人创立了公理化集合论，使该学科成为数学中发展最 为迅速的一个分支。集合论能直接应用后续专业课程的学习与研究中。本篇介绍 集合论的基本内容。 第三章集合与关系 教学要点：集合的概念、集合的运算、幂集的概念、笛卡儿积；关系的概念、 关系的运算、关系的性质以及特殊的一些二元关系。 教学时数：12学时。 教学内容： §3.1集合的概念及其运算(2学时)：主要介绍集合的概念、集合的表示、 集合间的关系、集合的并、交、差、对称差运算，幂集的概念以及集合的笛卡 儿积。 §3.2二元关系(1学时)：主要讲授序偶的定义，关系的定义，关系的表示， 特别是关系图和关系矩阵。 §3.3关系的性质(2学时)：主要讲授关系的自反性、对称性、传递性、反 自反性及反对称性等性质的定义和判断方法。 §3.4关系的运算(3学时)：介绍关系的并、交、补、差运算，讲关系授复 合关系和逆关系的定义、计算及运算性质，讲授关系的自反闭包、传递闭包、对 称闭包的定义、计算及运性质。 §3.5等价关系及划分(2学时)：讲授等价关系、等价类、商集的定义、性 §2.2 谓词公式的等价式和蕴涵式（1 学时）：了解谓词公式的定义，了解辖 域理解常用的等价式和蕴涵式。 §2.3 前束范式（1 学时）：了解谓词公式的范式。 §2.4 谓词演算的推理理论（2 学时）：掌握谓词演算的推理规则 US、UG、 ES、EG，并熟练应用规则对不太复杂的推理进行谓词演算的证明。 考核要求：能将不太复杂的命题符号化，领会量词的概念，能将不太复杂的 谓词推理使用推理规则证明。 第二篇 集合论 集合论是现代各科数学的基础。它的创始人是康脱（G.Cantor，1845-1918）， 由他所创立的朴素集合论，由于在定义集合的方法上缺乏限制，导致了许多悖论。 20 世纪初由策墨罗（Z）等人创立了公理化集合论，使该学科成为数学中发展最 为迅速的一个分支。集合论能直接应用后续专业课程的学习与研究中。本篇介绍 集合论的基本内容。 第三章 集合与关系 教学要点：集合的概念、集合的运算、幂集的概念、笛卡儿积；关系的概念、 关系的运算、关系的性质以及特殊的一些二元关系。 教学时数：12 学时。 教学内容： §3.1 集合的概念及其运算（2 学时）：主要介绍集合的概念、集合的表示、 集合间的关系 、集合的并、交、差、对称差运算，幂集的概念以及集合的笛卡 儿积。 §3.2 二元关系（1 学时）：主要讲授序偶的定义，关系的定义，关系的表示， 特别是关系图和关系矩阵。 §3.3 关系的性质（2 学时）：主要讲授关系的自反性、对称性、传递性、反 自反性及反对称性等性质的定义和判断方法。 §3.4 关系的运算（3 学时）：介绍关系的并、交、补、差运算，讲关系授复 合关系和逆关系的定义、计算及运算性质，讲授关系的自反闭包、传递闭包、对 称闭包的定义、计算及运性质。 §3.5 等价关系及划分（2 学时）：讲授等价关系、等价类、商集的定义、性