反证法的英语是:proof by contradiction、reduction to absurdity。
反证法的具体解释是什么呢,我们通过以下几个方面为您介绍:
一、引证解释 【点此查看反证法详细内容】
⒈证明定理的一种方法。先提出和定理中的结论相反的假定,然后从这个假定中得出和已知条件相矛盾的结果来,这样就否定了原来的假定而肯定了定理。也叫归谬法。
二、网络解释
反证法反证法是间接论证的方法之一。亦称“逆证”。是通过断定与论题相矛盾的判断(即反论题)的虚假来确立论题的真实性的论证方法。反证法的论证过程如下:首先提出论题:然后设定反论题,并依据推理规则进行推演,证明反论题的虚假;最后根据排中律,既然反论题为假,原论题便是真的。在进行反证中,只有与论题相矛盾的判断才能作为反论题,论题的反对判断是不能作为反论题的,因为具有反对关系的两个判断可以同时为假。反证法中的重要环节是确定反论题的虚假,常常要使用归谬法。反证法是一种有效的解释方法,特别是在进行正面的直接论证或反驳比较困难时,用反证法会收到更好的效果。
三、国语辞典
一种证明定理的方法。先提出和定理中的结论相反的假定,然后从这假定中得出和已知条件相矛盾的结果来,这样就否定原来的假定而肯定了定理,称为「反证法」。反证法[fǎnzhèngfǎ]⒈一种证明定理的方法。先提出和定理中的结论相反的假定,然后从这假定中得出和已知条件相矛盾的结果来,这样就否定原来的假定而肯定了定理,称为「反证法」。
四、辞典修订版
一种证明定理的方法。先提出和定理中的结论相反的假定,然后从这假定中得出和已知条件相矛盾的结果来,这样就否定原来的假定而肯定了定理,称为「反证法」。也称为「归谬法」。
五、关于反证法的成语
六、关于反证法的造句
1、著名古希腊数学家海帕修斯依靠反证法对的无理性的发现,导致了数学史上第一次数学危机。
2、文中先从什么是反证法着手,其中详细的叙述了反证法证题的一般步骤,如:反设,归谬,结论。
3、反证法是数学中,尤其是高等数学中常用的一种证明方法。
4、反证法是一种简明实用、间接的数学证明方法,也是一种重要的数学思想。
5、可以说反证法为数学所建立的功勋是不可磨灭的。
6、反证法是一种重要的证明方法,它在数学命题的证明中有直接证法所起不到的作用。