《4.6 反证法》概念题

反证法：

1.反证法的定义

在证明一个命题时，人们有时候假设命题不成立，从这样的假设出发，经过推理得出和已知矛盾的结论，或者与定义、基本事实、定理等矛盾，从而得出假设命题不成立是错误的，即所求证的命题正确，像这种证明的方法叫做.

2.运用反证法证明命题的三个步骤

（1）否定：假设命题的结论不成立.

（2）推出：从（1）中的反设出发，经过推理推理论证推出矛盾.

（3）由矛盾判定（1）中的反设，从而肯定命题的正确性.