课程知识框架第一章 命题与命题公式第二章 命题逻辑的推理理论第三章 谓词逻辑第四章 集合第五章 关系与函数第六章 代数系统的一般概念第七章 格与布尔代数第八章 图第九章 图的应用第一章 命题与命题公式考核内容与考核要求一.命题与命题联结词要求达到“领会”层次。1.能对命题进行符号化2.掌握命题联结词能够使用联结词熟练构造复合命题。二.命题公式的等值演算要求达到“简单应用层次”。1.掌握命题公式的概念能够构造命题公式的真值表能够正确判断重言式、矛盾式和可满足公式。2.熟记常用的命题规律和蕴含式掌握命题公式的等值关系和蕴含关系能够进行简单的公式论证。三.联结词完备集要求达到“领会”层次。重点1.命题与命题联结词2.将命题进行符号化3.命题公式的真值表4.命题公式的化简及命题的等值推演。