反證法 反证法英語proof by contradiction又称背理法是一种论证方式他首先假设某命题成立即在原命题的条件下结论不成立然后推理出明显矛盾的结果从而下结论说原假设不成立原命题得证 反证法与归谬法相似但归谬法不仅包括推理出矛盾结果也包括推理出不符事实的结果或显然荒谬不可信的结果