什么叫做反证法?

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/29 08:07:55

什么叫做反证法?
什么叫做反证法?

什么叫做反证法?
反证法(又称归谬法、背理法)是一种论证方式,他首先假设某命题不成立(即在原命题的条件下,结论不成立),然后推理出明显矛盾的结果,从而下结论说原假设不成立,原命题得证.
一个反证法的范例
证明:素数有无穷多个.
这个古老的命题最初是由古希腊数学家欧几里德(Euclid of Alexandria,生活在亚历山大城,约前330~约前275,是古希腊最享有盛名的数学家)在他的不朽著作《几何原本》里给出的一个反证法:  假设命题不真,则只有有限多个素数,设所有的素数是2=a1

首先假设某命题不成立(即在原命题的条件下,结论不成立),然后推理出明显矛盾的结果,从而下结论说原假设不成立,原命题得证。
欲证“若P则Q”为真命题,从相反结论出发,得出矛盾,从而原命题为真