西安电子科技大学离散数学软件学院第一篇数理逻辑第1章命题逻辑1.1命题第1课时7第2课时1.2命题公式→第3课时1.3逻辑等价式与永真蕴含式第4课时之1.4主范式第5课时1.5命题逻辑的推理与证明方法一第6课时之1.6命题逻辑的应用西安电子科技大学 离散数学 软件学院 第一篇 数理逻辑 第1课时 1.1 命题 第1章 命题逻辑 1.3 逻辑等价式与永真蕴含式 1.2 命题公式 1.4 主范式 1.5 命题逻辑的推理与证明方法 第2课时 第3课时 第4课时 第5课时 第6课时 1.6 命题逻辑的应用