離散數學學習筆記——第二講——命題邏輯（第二部分）（2.9命題蘊涵公式）

  1. 推理的定義   2. 推理的判定定理   3. 推理的判定示例   4. 推理定律（基本蘊含關係：簡化規則、添加規則、合取引入規則、選言三段論、假言推理規則、否定後件式、假言三段論、二難推理，共8種）   5. 基本蘊含關係示例

>>阅读原文<<