离散数学命题逻辑4.pptVIP

离散数学 * 第一章 命题逻辑 推理理论 推理理论 前提与有效结论 证明方法 推理定律和规则 直接证明法 间接证明法 推理 推理：由前提，依据推理规则，推导出结论的思维过程。 命题逻辑中，前提和结论都用命题公式表示 若前提为：P1、P2、···、Pn ；有效结论：Q 由前提P1、P2、···、Pn推出有效结论Q 证明当前提P1、P2、···、Pn都成立（为真）时，Q成立（为真） P1∧ P2∧ ··· ∧ Pn ? Q （P1, P2, ··· , Pn ? Q ） 证明永真蕴涵式的方法： 证 明:A?B： 真值表法 命题(等价)演算法 利用等价公式和永真蕴涵公式证明 假设推理法。(假设前提为真，证明结论必为真) 主析取范式法 所以， P ∧ (P∨Q)∧(﹁ (P∧Q)) ?﹁Q ? 1 例1.6.1 证明﹁Q是前提P，P∨Q, ﹁ (P∧Q)的有效结论 证明: 等价于证明P ∧ (P∨Q)∧(﹁ (P∧Q)) ?﹁Q (1) 真值表法 (2) 命题演算 (3) 利用等价公式和永真蕴涵公式证明 (4)假设推理法 P ∧ (P∨Q)∧(﹁ (P∧Q)) ?﹁Q 假设P∧(P∨Q)∧﹁(P∧Q)为真， 则P和﹁(P∧Q)为真, 所以P∧Q为假，因而Q为假。即﹁Q为真。这就证明了P∧(P∨Q)∧﹁(P∧Q)? ﹁Q。 (5)主范式法 推理理论 前提与有效结论 证明方法 直接证明法 间接证明法 直接证明法 由一组前提，利用一些公认的推理规则，根据已知的等价或 蕴含公式，推演得到有有效的结论。 直接证明法遵循两条规则(TP规则)： P规则：前提在推导过程中的任何时候都可以引入使用 T规则：在推导中，如果有一个或多个公式、永真蕴含着公式S，则S可引入推导中 推理定律——永真蕴涵式 A T (A ú B) (A ù B) T A (A ? B) ù A T B (A ? B) ù ?B T ?A (A ú B) ù ?B T A (A ? B) ù (B ? C) T (A ? C) (A ? B) ù (B ? C) T (A ? C) (A ? B) ù (C ? D) ù (A ú C) T (B ú D) (A?B)ù(?A?B)ù(Aú?A) T B (A?B)ù(C?D)ù( ?Bú?D) T (?Aú?C) 直接证明法例1： 请用直接证明法证明： (P∨Q), (P→R), (Q→S)?R∨S 证明: (1) 　P∨Q 　　　　p (2)　┓P→Q　　　 T(1) (3) 　Q→S 　　　　P (4)　┓P→S　　　 T(2) (3) (5)　P→R　　　　 P (6)　┓R → ┓P 　　T(5) (7) 　┓R→S 　　　 T(4) (6) (8) 　R∨S 　　　　 T(7) 直接证明法例 2 证明：P → Q, ┓Q ∨ R, ┓R, ┓(┓P ∧ S) ? ┓S. /* 逗号“,”和“∧”的含义相同 */ 证明　 (1)　┓Q∨R 利用P规则，引入前提 (2) Q→R 利用P规则，引入前提 (3)　┓R 利用P规则，引入前提 (4)　┓Q 由(2),(3) ，利用T规则 (5) P → Q 利用P规则，引入前提