第1讲命题逻辑基础 1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明 《集合论与图论》第1讲《集合论与图论》第1讲 1 第1讲 命题逻辑基础 1. 命题、命题符号化 2. 合式公式、真值表、永真式 3. 逻辑等值式、推理定律 4. 形式化证明