3．反证法的一般步骤
(1)反设：假设所要证明的结论不成立，而设结论的反面成立；
(2)归谬：由“反设”出发，通过正确的推理，导出矛盾——与已知条件，已知的公理、定义、定理、反设及明显的事实矛盾或自相矛盾；
(3)结论：因为推理正确，产生矛盾的原因在于“反设”的谬误，既然结论的反面不成立，从而肯定了结论成立．
1．判断(正确的打“√”，错误的打“×”)
(1)反证法属于间接证明问题的方法．( )
(2)反证法的证明过程既可以是合情推理也可以是演绎推理．( )
(3)反证法的实质是否定结论导出矛盾．( )
答案：(1)√ (2)× (3)√
2．应用反证法推出矛盾的推导过程中要把下列哪些作为条件使用( )
①结论的否定，即假设；
②原命题的条件；
