1、假设命题反面成立，从假设出发，经过推理得出和反面命题矛盾的，或者与定义、公理、定理矛盾的，从而得出假设命题不成立是错误的，即所求证命题成立。
2、反证法的论证过程是首先提出论题，然后设一个反论题，并依据推理规则进行推演，证明反论题的虚假，最后根据排中律，既然反论题为假，原论题便是真的。
3、在进行反证中，只有与论题相矛盾的判断才能作为反论题，论题的反对判断是不能作为反论题的，因为具有反对关系的两个判断可以同时为假。
4、在应用反证法证题时，一定要用到“反设”，否则就不是反证法，当论题从正面不容易或不能得到证明时，就需要运用反证法，此即所谓"正难则反"。
1、1.假设命题不成立。
2.由假设出发经过推理论证得出矛盾。
3.由矛盾得出假设不成立从而证明原命题正确。
