2019数学新设计人教A选修1-2课件:第二章 推理与证明 2.2.2
2019数学新设计人教A选修1-2课件:第二章 推理与证明 2.2.2第3页

1.反证法 (1)反证法是间接证明的一种基本方法. (2)一般地,假设原命题不成立(即在原命题的条件下,结论不成立),经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了 原命题成立,这种证明方法叫做反证法. 名师点拨反证法的实质 用反证法证明命题“若p,则q”的过程可以用以下框图表示: 肯定条件p,否定结论q→导致逻辑矛盾→“p且 q为假”→“若p则q”为真 特别提醒反证法不是通过证明逆否命题来证明原命题.反证法是先否定命题,然后再证明命题的否定是错误的,从而肯定原命题正确.