§ 1—3 反证法 反证法是一种间接证明方法。当有的命题采用直接证明很难证出或者比较繁琐时，可改为证明原命题的反命题不成立（命题“若A则B"的反命题是“若A则非B”）或证明与原命题等价（或称等效）的逆否命题...