清华离散数学(版)：.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