离散数学复习资料

考纲：第一章   数理逻辑 §1命题及其真值 命题概念，命题联结词，命题真值表，命题符号化§2重言式 命题公式的性质，逻辑等价公式，永真蕴含公式，命题公式推倒（化简与证明）§3范式 指派，析取范