2.2.2__反证法修订稿.pptVIP

* * * * * 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 Pr