离散9数学15.pptVIP

* 二、证明方法 1. 真值表法 2. 直接证法 3. 间接证法 3. 间接证法 (1)定义 定义1-8.2 假设公式H1，H2，…，Hn 中的命题变元为P1，P2，…，Pn ， 对于P1，P2，…，Pn的一些真值指派，如果能使H1 ∧ H2 ∧ … ∧ Hn的真值为T，则称公式H1，H2，…，Hn 是相容的。 如果对于P1，P2，…，Pn的每一组真值指派使得H1 ∧ H2 ∧ … ∧ Hn的真值均为F，则称公式H1，H2，…，Hn是不相容的。 (2)证法 可以把不相容的概念应用于命题公式的证明。 设有一组前提H1，H2，…，Hn ，要推出结论C，即证H1 ∧ H2 ∧ … ∧ Hn ? C，记作S ? C，即┐C→ ┐S为永真，或C∨┐S为永真，故┐C ∧S为永假 。因此要证明H1 ∧ H2 ∧ … ∧ Hn ? C，只要证明H1，H2，…，Hn与是┐C是不相容的。即假定┐C为真，推出矛盾。 例题3 证明 A→B， ┐(B∨C)可逻辑推出┐A (7) B ∧ ┐B(矛盾) T(3),(6) I (6) ┐B T(5) I (3) B T(1),(2) I (5) ┐B ∧ ┐C