2.2 直接证实与间接证实
2.2.2   反 证 法
复习
1.直接证实两种基本证法：
综正当和分析法
2.这两种基本证法推证过程和特点：
由因导果
执果索因
3、在实际解题时，两种方法怎样利用？
通惯用分析法寻求思绪，再由综正当书写过程
综正当
已知条件
结论
分析法
结论
已知条件
（1）假如有5只鸽子飞进两只鸽笼，最少有3只  鸽子在同一只鸽笼，对吗？
（2）A、B、C三个人，A说B撒谎，B说C撒谎，C  说A、B都撒谎。则C在撒谎吗？为何？
分析:假设C没有撒谎, 则A、B都撒谎.            
由A撒谎, 知B没有撒谎.
那么假设C没有撒谎不成立,
则C必定是在撒谎.
这与B撒谎矛盾.
思索？