就是通过论证矛盾论题的虚假性,来确立论题真实性的论证方法。 设有一个反例(即首先选择一个与原来论题相矛盾的反论题,然后运用一定的论据和论式论证反论题的虚假性),其次依据排中律,由于论题与反论题是两个互相矛盾的判断,不能同假,那么论题必然是真的。 反证法的优点是,如果原来论题的主项是一个集合概念,就无法证明,转换成为反例以后,主项变成单独概念或者普遍概念,就符合一个数学定理要求。 但是,反论题必须与原来论题具有本质联系。有些人设立的反论题与原来论题没有必然关系,这样的证明就无效。