离散数学笔记(特级教师精心整理)(共46页).doc

离散数学笔记（特级教师精心整理）第一章 命题逻辑内容：命题及命题联结词、命题公式的基本概念，真值表、基本等价式及永真蕴涵式，命题演算的推理理论中常用的直接证明、条件证明、反证法证明等方法教学目的：1 熟练掌握命题、联结词、复合命题、命题公式及其解释的概念。2 熟练掌握常用的基本等价式及其应用。3 熟练掌握（主）析/合取范式的求法及其应用。4 熟练掌握常用的永真蕴涵式及其在逻辑推理中的应用。5 熟练掌握形式演绎的方法。教学重点：1命题的概念及判断2联结词，命题的翻译3主析（合）取范式的求法4逻辑推理教学难点：1主析（合）取范式的求法2逻辑推理1.1命题及其表示法1.1.1 命题的概念 数理逻辑将能够判断真假的陈述句称作命题。1.1.2 命题的表示命题通常使用大写字母A，B，Z或带下标的大写字母或数字表示，如Ai，10，R等，例如A1：我是一名大学生。A1:我是一名大学生.10：我是一名大学生。R：我是一名大学生。1.2命题联结词1