列举反面例子来证明原命题的错误的论证方法叫做反证法。
举反例适合于去否定一般性的描述（全称命题），比如说所有人都是天才，你只需要举出一个傻逼的例子就可以推翻这个命题（特称命题）而反证法涉及两个命题之间的逻辑关系，比如说假如我们想要证明下雨一定会使地面打湿，只需要证明如果地面不是干的，那么一定没下雨——先假设结论不成立，推出条件也不成立——之所以可以这样证是因为命题和它的逆否命题是等价的.
