- 词 条：反证法
- 拼 音：fǎn zhèng fǎ
- 含 义：
一种证明定理的方法。先提出和定理中的结论相反的假定，然后从这假定中得出和已知条件相矛盾的结果来，这样就否定原来的假定而肯定了定理，称为「反证法」。也称为「归谬法」。
- 造句 / 例句：
- 浅谈反证法的教学
- 反证法的逻辑原理及其在图论中的应用
- 关于理工科大学生理解反证法问题的调查
- 摘要:反证法是一种重要的数学证明方法，它和分析法、综合法一样，有着悠久的历史，应用也相当广泛。
- 著名古希腊数学家海帕修斯依靠反证法对的无理性的发现，导致了数学史上第一次数学危机。
- 并从步骤中看出反证法的逻辑依据形式逻辑中的矛盾律，排中律，同时给出了反证法的详细的逻辑结构。
- 第四部分对反证法的种类以及运用反证法时所导致矛盾的类型都用举例的方式一一详细的分析和介绍了。
- 文中先从什么是反证法着手，其中详细的叙述了反证法证题的一般步骤，如：反设，归谬，结论。