反证法是间接论证的方法之一，也叫做逆证，是通过断定与论题相矛盾的判断即反论题的虚假，来确立论鞑民略锈题的真实性的一种论证方法，下面我们来看一下反证法的一般步骤都有哪些。
工具/原料
数学课本
理论知识
方法/步骤
1、假设命题反面成立，从假设出发，经过推理得出和反面命题矛盾的，或者与定义、公理、定理矛盾的，从而得出假设命题不成立是错误的，即所求证命题成立。
2、反证法的论证过程是首先提出论题，然后设一个反论题，并依据推理规则进行推演，证明反论题的虚假，最后根据排中律，既然反论题为假，原论题便是真的。
3、在进行反证中，只有与论题相矛盾的判断才能作为反论题，论题的反对判断是不能作为反论题的，因为具有反对关系的两个判断可以同时为假。
4、在应用反证法证题时，一定要用到“反设”，否则就不是反证法，当论题从正面不容易或不能谀薜频扰得到证明时，就需要运用反证法，此即所谓"正难则反"。
