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