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