2.2.2__反证法修订稿.ppt

下载文档

0
0
约3.42千字
约 19页
2016-12-30 发布于北京
举报
版权申诉
保障服务

2.2.2__反证法修订稿.ppt

1、本文档共19页，可阅读全部内容。
2、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。

* * * * * 2.2.2 反证法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 直接证明： (1)综合法—— (2)分析法—— 由因导果执果索因得到一个明显成立的结论 … P Q1 Q1 Q2 Q2 Q3 Qn Q … Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. （1）如果有5只鸽子飞进两只鸽笼，至少有3只鸽子在同一只鸽笼，对吗？（2）A、B、C三个人，A说B撒谎，B说C撒谎，C 说A、B都撒谎。则C在撒谎吗？为什么？引例分析:假设C没有撒谎, 则C真. - - -- -那么A假且B假; 由A假, 知B真. 这与B假矛盾. 那么假设C没有撒谎不成立; 则C必定是在撒谎. 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. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例5 求证：是无理数。 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. 一般地，假设原命题不成立，经过正确的推理，最后得出矛盾。因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法（归谬法）。其过程包括：反设——假设命题的结论不成立；存真——由矛盾结果，断定反设不真，从而肯定原结论成立。归谬——从假设出发，经过一系列正确的推理，得出矛盾； Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 归缪矛盾：（1）与已知条件矛盾；（2）与已有公理、定理、定义矛盾；（3）自相矛盾。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 应用反证法的情形： (1)直接证明困难; (2)需分成很多类进行讨论．（3)结论为“至少”、“至多”、“有无穷多个” ---类命题；（4）结论为 “唯一”类命题；正难则反! Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例1：已