Extra
上位词
别名
精选上位词
精选别名
反证法是间接论证的方法之一。亦称“逆证”。是通过断定与论题相矛盾的判断(即反论题)的虚假来确立论题的真实性的论证方法。反证法的论证过程如下:首先提出论题;然后设定反论题,并依据推理规则进行推演,证明反论题的虚假;最后根据排中律,既然反论题为假,原论题便是真的。在进行反证中,只有与论题相矛盾的判断才能作为反论题,论题的反对判断是不能作为反论题的,因为具有反对关系的两个判断可以同时为假。反证法中的重要环节是确定反论题的虚假,常常要使用归谬法。反证法是一种有效的解释方法,特别是在进行正面的直接论证或反驳比较困难时,用反证法会收到更好的效果。
中文名 | 反证法 |
---|---|
原始名称 | 反证法 |
原理 | 逆否命题和原命题的真假性相同 |
外文名 | contradiction |
定义 | 从反方向证明的证明方法 |
用途 | 论证方式 |
英文名 | contradiction |