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