1.反证法,要证明A成立,假设A不成立,然后推出矛盾.
如:两直线最多有一个交点,设不成立,最后画不出两交点,假设不成立,所以原命题成立.
2.结论证条件,用于证明题.
如A成立,推B.你就可以反过来证明B成立,推A