反证法的步骤

1、假设所要证明的命题不成立。

2、推导出一系列的逻辑结论，可以借助其他已知命题进行推导，直至推出一个矛盾的结论。

3、因为前提假设不成立，所以矛盾的结论也不成立，于是得出所要证明的命题成立的结论。

1、假设的前提必须是相信的，否则所得出的结论不一定正确。

2、推导过程必须是严密的，不能有任何漏洞。

3、证明过程必须能够清晰地说明为什么前提的否定会导致矛盾的结论。