<正>反证法一种由假推真的证明方法,其实质是运用"正难则反、以退为进"的策略,从否定结论入手,先作出与求证结论相反的假设,然后经过一系列严谨、合乎逻辑的推理论证,导出矛盾结论,最后由矛盾断定假设不成立,肯定原结论成立.在用反证法推出矛盾的推导过程中,导出的矛盾有如下几种类型:与已知条件矛盾;与已知的公理、定义、定理、公式矛盾;与假设矛盾;自相矛盾.
科研之友
微信
新浪微博
Facebook
分享链接
