命题方式；由数学表达式的取值引出真值表；由数学表达式的化简引出等价公式。
讨论、作业或思考
教学后记
2
913
2
P86
920
2
14真值表与等价公式重难点：命题翻译；等价的应用15重言式与蕴含式
P197df9
3
16对偶与范式（1）9222重难点：证明蕴含关系的方法；各种范式定义的共性16对偶与范式（2）重难点：极大项与极小项的对比；标准范式公式的特点及标准化方法16推理理论9272
引导学生总结各种范式定义的特点。
P23：1bc2bP291a2bP392e3b4ac5bP472b4c
924
2
采用对比法教学，提醒学生只记住其中一种标准化方法即可。
通过典型例题总结推理方法；强调各17本章作业评讲重难点：推理的描述方法；种方法的使用环境。间接证法第二章谓词逻辑21谓词的概念与表示从命题逻辑的不足引出谓词逻辑的概念、研究方法；对比介绍相应的概念。引导学生比较两种变元约束的特点；分析谓词位置变化对比的是意义的影响。
49292
22命题函数与量词23谓词公式与翻译重难点：量词的特点24变元的约束25等价式与蕴含式
P602aceP623bc
5
108
2
26前束范式重难点：谓词逻辑中的等价与蕴含
P652cd4a5bP72：2c47
2
f周次
日期
时数
教学内容安排（写明章、节，明确学习的重点难点）
27谓词演算的推理理论28本章作业评讲重难点：消去或引入谓词的方法第三章集合与关系31集合的概念与表示32集合的运算33包含排斥原理34序偶与笛卡尔积重难点：序偶；笛卡尔积
教学过程设计及授课方式
讨论、作业或思考
教学后记
108
2
P79通过典型例题总结1ab推理的一般方法。2a3abc通过回忆中学数学中关于集合的知识引入课程内容；通过有序
元组引入序偶。通过分析现实生活中的联系来思考关系需要考虑的信息。P1004P1041b25P109156
1011
2
610132
35关系及其表示重难点：对关系的理解；关系的表示
1015
2
36关系的性质重难点：性质37关系的复合和逆
通过特殊关系的P1131图、矩阵来分析关25系的特殊性质。P118：15P12712a
1018
2
38关系的闭包运算重难点：复合运算；闭包运算39集合的划分与覆盖310等价关系与等价类重难点：等价类；商集
从集合、关系图、矩阵三个方面来说明运算的方法。
7
1020
2
从现实生活对划分P130与覆盖的考虑引入123概念。P1342
1022
2
310等价关系与等价类P134311相容关系用对比的方法来介3）7）r