离散数学学习笔记——第二讲——命题逻辑（第二部分）（2.9命题蕴涵公式）

  1. 推理的定义   2. 推理的判定定理   3. 推理的判定示例   4. 推理定律（基本蕴含关系：简化规则、添加规则、合取引入规则、选言三段论、假言推理规则、否定后件式、假言三段论、二难推理，共8种）   5. 基本蕴含关系示例

>>阅读原文<<