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