反证法的一般步骤

1、假设命题反面成立，从假设出发，经过推理得出和反面命题矛盾的，或者与定义、公理、定理矛盾的，从而得出假设命题不成立是错误的，即所求证命题成立。

3、在进行反证中，只有与论题相矛盾的判断才能作为反论题，论题的反对判断是不能作为反论题的，因为具有反对关系的两个判断可以同时为假。