反证法与同一法的比较

反证法与同一法是数学中两种常用的科学证明方法。二者有着共同的理论基础和内在的逻辑联系,它们在思维方法方面都遵守一般的逻辑思维规律,并且都不是直接去证原命题的真实性,而是利用等效命题的原理,通过证明与原命题等效的命题的真实性去间接肯定原命题的真实性。我们还可以看到,凡能用同一法证明的定理(或命题真实)都可改用反证法来证明。反之,则不然。