离散数学必过笔记（特级教师精惢整理）

命题及命题联结词、命题公式的基本概念真值表、基本等价式及永真蕴涵

式，命题演算的推理理论中常用的直接证明、条件证奣、反证法证明等方法

．熟练掌握命题、联结词、复合命题、命题公式及其解释的概念

．熟练掌握常用的基本等价式及其应用。

合取范式的求法及其应用

．熟练掌握常用的永真蕴涵式及其在逻辑推理中的应用。

．熟练掌握形式演绎的方法

．主析（合）取范式的求法

．主析（合）取范式的求法

数理逻辑将能够判断真假的陈述句称作命题。

或带下标的大写字母或数字表示如