Coursera離散數學概論筆記（二）： 數理邏輯之命題邏輯及形式系統

本文目錄 1 重言式 1.1 命題公式的分類 1.2 三種命題公式的關係 1.3 例子和證明 2 邏輯等價式和邏輯蘊涵式 2.1 邏輯等價式（logical equivalent） 2.2 邏輯蘊涵式（logical implication） 2.3 邏輯結果 2.4 邏輯等價式和邏輯蘊涵式的幾個重要性質 3 代入原理和替換原理 3.1 代入原理（rule of substitution） 3.2

>>阅读原文<<