先提出一个与命题的结论相反的假设，然后，从这个假设出发，经过正确的推理，推出矛盾，从而否定相反的假设。从而证明原命题正确。
反证法是属于“间接证明法”一类，是从反面的角度思考问题的证明方法，具体地讲，反证法就是从否定命题的结论入手，并把对命题结论的否定作为推理的已知条件，进行正确的逻辑推理，使之得到与已知条件、已知公理、定理、法则或者已经证明为正确的命题等相矛，矛盾的原因是假设不成立，所以肯定了命题的结论，从而使命题获得了证明。
