浅谈反证法

反证法是一种间接的数学证明方法，有着广泛的适用范围。本文讨论了反证法的逻辑依据、证明步骤、逻辑形式，反证法与举反例、同一法的区别及适合用反正法证明的题型。