2013新人教A版（选修1-2）2.2《直接证明与间接证明》ppt课件.pptVIP

常用的互为否定的表述方式： 至少有一个—— 至少有三个—— 至少有n个—— 最多有一个—— * * * 王戎是怎样知道李子是苦的呢?他运用了怎样的推理方法? 道旁苦李 王戎的推理方法是: 假设李子不苦, 则因树在“道”边,李子早就被别 人采摘而没有了, 这与“多李”产生矛盾. 所以假设不成立,李为苦李. 在你的日常生活中也有类似的例子吗?请举一个例子. 小华:不可能,我上午还在学校碰到了她和她妈妈呢! 1、上述对话中,小华要告诉妈妈的命题是什么? 小芳全家没有外出旅游. 妈妈:小华,听说邻居小芳全家这几天正在外地旅游. 2、小华是如何推断该命题的正确性的? 假设小芳全家外出旅游, 那么今天不可能碰到小芳, 与上午在学校碰到小芳和她妈妈矛盾, 所以假设不成立, 所以小芳全家没有外出旅游. 一般地，假设原命题不成立（即在原命题的条件下，结论不成立）， 经过正确的推理， 最后得出矛盾。 因此说明假设错误，从而证明了原命题成立， 这样的证明方法叫做反证法。 反证法是一种间接证法。 反证法的思维方法：正难则反 反证法的一般步骤: 假设命题结论不成立 假设不成立 假设命题结论反面成立 与已知条件矛盾 假设 推