2.反证法常见的矛盾类型 反证法的关键是在正确的推理下得出矛盾,这个矛盾可以是与 已知条件矛盾,或与假设矛盾,或与定义、公理、定理、事实矛盾等. 3.反证法的一般步骤 用反证法证明命题时,要从否定结论开始,经过正确的推理,导出逻辑矛盾,从而达到新的否定(即肯定原命题)的过程,这个过程包括下面三个步骤: (1)反设——假设命题的结论不成立,即假设原结论的反面为真; (2)归谬——由“反设”作为条件,经过一系列正确的推理,得出矛盾; (3)存真——由矛盾结果断定反设错误,从而肯定原结论成立.