离散数学--1.3证明方法概述讲述.pptVIP

1.3 证明方法概述 逻辑推理的形式结构 证明方法 直接证明法 间接证明法 归谬法(反证法) 数学归纳法 穷举法 构造证明法 空证明法 平凡证明法 举反例——命题为假的证明 逻辑推理的形式结构 逻辑推理的形式结构 A1?A2?…?Ak?B (*) 当(*)为重言式时, 记作 A1?A2?…?Ak?B (**) 并称推理有效或推理正确, 又称B是A1,A2,…,Ak的有效(或 逻辑)结论; 否则称推理不正确. 逻辑推理的证明 推理的常见形式: (1)若A, 则B A?B (2)A当且仅当B A?B (3)证明B B 都可归结为形式(1) 直接证明法 做法 证明“若A为真, 则B为真” 理由 “若A为真, 则B为真” ? “A?B为真” 例1 若n是奇数, 则n2也是奇数. 证 存在k?N, n=2k+1. 于是, n2 = (2k+1)2 = 2(2k2+2k)+1 得证n2是奇数. 间接证明法 做法 证明“ ?B? ?A”为真 理由 “A?B为真” ? “ ?B? ?A为真” 例2 若n2是奇数, 则n也是奇数. 证 用间接证明法. 只要证:若n是偶数, 则n2也是偶数. 假设n是偶数, 则存在k?N, n=2k. 于是, n2 = (2k)2 = 2(2k2) 得证n2是偶数. 归谬法(反证法) 做法 假设A真并且?B真, 推出矛盾, 即证明:A??B?0 理由 A??B?0为真 ? A??B为假 ? A为假或 B为真 ? A?B为真 例3 若A-B=A, 则A?B=? 证 用归谬法, 假设A?B??, 则存在x,使得 x?A?B ? x?A?x?B ? x?A-B?x?B (A-B=A) ? x?A?x?B?x?B ? x?B?x?B, 矛盾 归谬法(续) 穷举法(分情况证明法) 推理A?B, 其中A= A1?A2?…?Ak. 做法 证明A1?B, A2?B,…, Ak?B 均为真 理由 A1?A2?…?Ak?B ? ?(A1?A2?…?Ak)?B ? (?A1??A2?…? ?Ak)?B ? (?A1?B)?(?A2?B)?…?(?Ak?B) ? (A1?B)?(A2?B)?…?(Ak?B) 实例 例5 证明:max(a, max(b,c))=max(max(a,b),c) 证 构造证明法 推理A?B, 其中B是存在具有某种性质的客体 做法 在A为真的条件下, 构造出具有这种性质的客体 例6 对于每个正整数n, 存在n个连续的正合数. 证 令x=(n+1)! 则 x+2, x+3,…, x+n+1是n个连续的正合数: i | x+i, i=2,3,…,n+1 空证明法与平凡证明法 空证明法(前件假证明法) 做法 证明“A恒为假” 理由 “A恒为假” ? “A?B为真” 例如, “?是任何集合的子集”(定理1.1)的证明 平凡证明法(后件真证明法) 做法 证明“B恒为真” 理由 “B恒为真” ? “A?B为真” 例如, 若a?b, 则a0?b0. 常在归纳证明的归纳基础中出现 命题为假的证明——举反例 例7 判断下述命题是真是假: 若A?B=A?C, 则B=C. 解 反例: 取A={a,b}, B={a,b,c}, C={a,b,d}, 有 A?B=A?C = {a,b} 但B?C, 故命题为假. 数学归纳法的应用对象 命题形式: ?x(x?N?x?n0), P(x) 命题的提出——归纳与猜想 例如, 观察 1 1+2 1+2+3 1+2+3+4 … … 数学归纳法的步骤 (1)归纳基础 证P(n0)为真 (2)归纳步骤 ?x(x?n0), 假设P(x)为真, 证P(x+1)为真. 称“P(x)为真”为归纳假设 例8 证明:对所有n?1, 1+2+ … +n=n(n+1