反证法（又称背理法）是一种论证方式，他首先假设某命题不成立（即在原命题的条件下，结论不成立），然后推理出明显矛盾的结果，从而下结论说原假设不成立，原命题得证。

反证法与归谬法相似，但归谬法不仅包括推理出矛盾结果，也包括推理出不符事实的结果或显然荒谬不可信的结果。原理 若原命题：p≧q为真 先对原命题的结论进行否定，即写出原命题的否定：p≧非q 从这个否定的结论出发，推出矛盾，即命题：非q≧p为假（也即存在矛盾） 从而该命题的否定为真：非q≧非p为真 再利用原命题和逆否命题的真假性一致，即原命题：p≧q为真 误区 否命题与命题的否定是两个不同的概念 命题的否定只针对原命题的结论进行否定。而否命题同时否定条件和结论： 原命题：p≧q 否命题：非p≧非q 命题的否定：p≧非q 原命题与否命题的真假性没有必然联系，但原命题和原命题的否定却是对立的存在，一个为真另一个必然为假。