在反证法学习中探寻“结论的反面”

摘要

一、引言反证法是一种证明方法.证明时先假设命题的结论不成立,然后推导出与定义、基本事实、已有定理或已知条件相矛盾的结果,从而证明命题的结论一定成立,这种证明方法,叫做反证法.[1]反证法是一种独特的证明方法,它的独特指出有两点:一是否定命题的结论,即设命题的反面成立;二是从这个新条件出发,结合命题原有的条件,一起推出矛盾,从而使问题获证,与运用其他方法证明一样,运用反证法证明时,推理的过程必须有理有据.