各章关键内容
数理逻辑部分深刻了解各联结词逻辑关系, 熟练地将命题符号化会求复合命题真值深刻了解合式公式及重言式、矛盾式、可满足式等概念熟练地求公式真值表，并用它求公式成真赋值与成假赋值及判断公式类型深刻了解等值式概念切记基本等值式名称及它们内容
熟练地应用基本等值式及置换规则进行等值演算了解文字、简单析取式、简单合取式、析取范式、合取范式概念深刻了解极小项、极大项概念、名称及下角标与成真、成假赋值关系，并了解简单析取式与极小项关系
熟练掌握求主范式方法（等值演算、真值表等）会用主范式求公式成真赋值、成假赋值、判断公式类型、判断两个公式是否等值会将公式等值地化成指定联结词完备集中公式会用命题逻辑概念及运算处理简单应用问题掌握消解规则及其性质会用消解算法判断公式可满足性了解并记住推理形式结构两种形式：(A1A2…Ak)B 前提：A1, A2, … , Ak 结论：B