“反证法”基本解释

解释 证明定理的一种方法，先提出和定理中的结论相反的假定，然后从这个假定中得出和已知条件相矛盾的结果来，这样就否定了原来的假定而肯定了定理。也叫归谬法。-----------------国语辞典反证法fǎn zhèng fǎㄈㄢˇ ㄓㄥˋ ㄈㄚˇ

1. 一种证明定理的方法。先提出和定理中的结论相反的假定，然后从这假定中得出和已知条件相矛盾的结果来，这样就否定原来的假定而肯定了定理，称为「反证法」。也称为「归谬法」。

“反证法”百科

百度百科

反证法

反证法是间接论证的方法之一。亦称“逆证”。是通过断定与论题相矛盾的判断（即反论题）的虚假来确立论题的真实性的论证方法。反证法的论证过程如下：首先提出论题：然后设定反论题，并依据推理规则进行推演，证明反论题的虚假；最后根据排中律，既然反论题为假，原论题便是真的。在进行反证中，只有与论题相矛盾的判断才能作为反论题，论题的反对判断是不能作为反论题的，因为具有反对关系的两个判断可以同时为假。反证法中的重要环节是确定反论题的虚假，常常要使用归谬法。反证法是一种有效的解释方法，特别是在进行正面的直接论证或反驳比较困难时，用反证法会收到更好的效果。

“反证法”造句

1.反证法是数学中，尤其是高等数学中常用的一种证明方法。

2.反证法是一种间接的数学证明方法，也是一种重要的数学思想，同时它在中学数学证明中有着广泛的适用范围。

3.反证法不能用反定理来证明。

4.反证法是一种重要的证明方法，它在数学命题的证明中有直接证法所起不到的作用。

5.通过对其采用反证法和图解法以及在实际制管生产中的验证，证明此经验公式对于成型器内压辊斜置小辊辊型设计是完全适用的。

6.反证法是一种简明实用、间接的数学证明方法,也是一种重要的数学思想.

7.著名古希腊数学家海帕修斯依靠反证法对的无理性的发现，导致了数学史上第一次数学危机。

8.可以说反证法为数学所建立的功勋是不可磨灭的.

9.文中先从什么是反证法着手，其中详细的叙述了反证法证题的一般步骤，如：反设，归谬，结论。

“反证法”分词解释