1.5推理规则与证明方法-1.pptVIP

1.5 推理规则和证明方法 1.5.1 推理规则 推理的前提与结论,正确推理 推理规则 1.5.2 证明方法 直接证明法, 间接证明法， 附加前提证明法（演绎定理） 归谬法(反证法) 例子 例（1）若Scott是人，则Scott会死. Scott是人 ∴ Scott会死的 （3）设x属于实数。如果x是偶数， 则 是偶数。 是偶数 ∴ x是偶数 1.5.1 推理规则 P→Q P Q 有效结论 定义1.5-1 设H1，H2，…， Hn，C为命题公式， 若 H1ùH2ù…ù Hn TC, 则称C是H1,H2,…, Hn的有效结论， 或称由H1ùH2ù…ù Hn 推出C是正确的。 如： Q是?P，(P úQ) 的有效结论。 即 ?Pù(P úQ) →Q 是一个永真式。 推理的形式结构 形式(1) H1ùH2ù…ùHn?C 形式(2) 前提: H1, H2, … , Hn 结论: C 推理正确记作 H1ùH2ù…ùHnTC 推理的形式结构 形式(1) H1ùH2ù…ùHn?C 形式(2) 前提: H1, H2, … , Hn 结论: C 推理正确记作 H1ùH2ù…ùHnTC 推理的形式结构（续） 实例（1） 例1 判断下面推理是否正确: (1) 若今天是1号, 则明天是5号. 今天是1号. 所以明天是5号. 解 设 P: 今天是1号, Q: 明天是5号 推理的形式结构为 (P?Q)ùP?Q 证明 用等值演算法 (P?Q)ùP?Q ? ?((?PúQ)ùP)úQ ? ((Pù?Q)ú?P)úQ ? ?Pú?QúQ ? 1 得证推理正确,即 (P?Q)ùPTQ. 实例(2) (2) 若今天是1号, 则明天是5号. 明天是5号. 所以今天是1号. 解 设P: 今天是1号, Q: 明天是5号. 推理的形式结构为 (P?Q)ùQ?P 证明 用主析取范式法 (P?Q)ùQ?P ? (?PúQ)ùQ?P ? ?((?PúQ)ùQ)úP ? ?QúP ? (?Pù?Q)ú(Pù?Q)ú(Pù?Q)ú(PùQ) ? m0ú m2ú m3 m1 =?PùQ 01是成假赋值, 所以推理不正确. 推理规则——永真蕴涵式 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) 破坏性二难 推理规则——基本恒等式 每一个基本恒等式都派生出两条推理定律. 如双重否定律??A?A，产生两条推理定律： ??A T A ，A T ??A 基本等值式 基本等值式(续) 推理规则（续） 推理规则 (1) 前提引入规则（规则P）: (2) 结论引入规则（规则T）: (3) 置换规则: 推理规则 例 1 若这里有球赛，则通行是困难的。如果他们按时到达，则通行是不困难的。 他们按时到达了。 所以这里没有球赛。 解：设P:这里有球赛，Q:通行是困难的，R:他们按时到达 则前提：P?Q，R??Q，R 结论：?P 用推理规则证明 步骤 断言 根据