《第一章逻辑与证明(2.ppt

利用等价关系证明 例 1.5.15　证明对于所有的整数n，n为奇数当且仅当n－1为偶数。 证明：如果n为奇数，则n－1为偶数。 若n为奇数，则n＝2k＋1，其中k为某个整数。于是 n－1＝(2k＋1)－1＝2k，　所以n－1为偶数。 下面证明“如果n－1为偶数，则n为奇数”。 如果n－1为偶数，则n－1＝2k，其中k为某个整数。于是n＝2k＋1 所以n为奇数。证毕。 * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 反例证明法 反驳　?x P(x) 只需在论域内找到一个x，使P(x)为假。 例 1.5.19 命题　“?n (2n+1)是素数”为假。 反例为n＝3时，23＝9，不是素数 * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1.7 证明方法和策略 穷举证明 分情况证明 存在性证明 唯一性证明 证明策略 * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1.7.2穷举证明 有些定理可以通过有关的小数量例子测验来证明——穷举证明 例，当n是一个正整数，且n ≤4时，(n+1)3 ≥3n 解：用穷举证明 对于n=1, (n+1)3 =23=8, 而31=3，即(n+1)3 ≥3n 对于n=2，(n+1)3 =33=27, 而32=9，即(n+1)3 ≥3n 对于n=3, (n+1)3 =43=64, 而33=27，即(n+1)3 ≥3n 对于n=4, (n+1)3 =53=125, 而34=81，即(n+1)3 ≥3n 对于论域中的每个n，都有(n+1)3 ≥3n * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 分情况的证明法 例如，前提“x是一个实数”可以被分成两种情况：(a) x是一个非负实数 (b) x是一个负实数。 例1.5.14　证明对每个实数x，x≤|x|。 证明： 当x≥0时，根据绝对值的定义，|x|＝x，于是|x|≥x。当x0时，根据绝对值的定义，|x|＝－x，因为|x|＝－x0，0x，所以|x|x。 两种情况下都有|x|≥x，所以命题成立。 * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1.7.3 存在性证明 需在论域中找到一个x使P(x)为真即可。 例1.5.17 令a和b为实数且ab。证明存在实数x满足axb。 证明 只需找到一个实数x满足axb即可。实数 　　x＝ 显然满足axb。 * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 2.4 数学归纳法 Sn 表示n个正整数的和 Sn = 1 + 2 + ?+ n Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 前n个自然数之和为n(n+1)/2 证明：对n进行归纳。 当n=1时，有S(1)=1=1×(1+1)/2，故命题成立。 假设前n个自然数之和S(n)为n(n+1)/2。 接着证前n+1个自然数之和S(n+1)=(n+1)(n+2)/2。 根据S(n)的定义， 有S(n+1)=S