逻辑等价式与永真蕴含式.pdfVIP

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