证明定理的一种方法,先提出和定理中的结论相反的假定,然后从这个假定中得出和已知条件相矛盾的结果来,这样就否定了原来的假定而肯定了定理。也叫归谬法。
证明定理的一种方法。先提出和定理中的结论相反的假定,然后从这个假定中得出和已知条件相矛盾的结果来,这样就否定了原来的假定而肯定了定理。也叫归谬法。
一种证明定理的方法。先提出和定理中的结论相反的假定,然后从这假定中得出和已知条件相矛盾的结果来,这样就否定原来的假定而肯定了定理,称为「反证法」。
反证法是间接论证的方法之一。亦称“逆证”。是通过断定与论题相矛盾的判断(即反论题)的虚假来确立论题的真实性的论证方法。反证法的论证过程如下:首先提出论题:然后设定反论题,并依据推理规则进行推演,证明反论题的虚假;最后根据排中律,既然反论题为假,原论题便是真的。在进行反证中,只有与论题相矛盾的判断才能作为反论题,论题的反对判断是不能作为反论题的,因为具有反对关系的两个判断可以同时为假。反证法中的重要环节是确定反论题的虚假,常常要使用归谬法。反证法是一种有效的解释方法,特别是在进行正面的直接论证或反驳比较困难时,用反证法会收到更好的效果。
版权声明:本文内容由网友上传(或整理自网络),原作者已无法考证,版权归原作者所有。忆诗词免费发布仅供学习参考,其观点不代表本站立场。
转载请注明:http://www.egushici.com/cidian/0749070/