1.假设 命题不成立
2.由假设出发,经过推理论证,得出矛盾
3.由矛盾得出假设不成立,从而证明原命题正确