本证和反证的区别是什么?

本证和反证都是用来证明某一个命题（或结论）是真实的方法。本证（Direct Proof）是通过已知条件来证明命题的真实性，多用于数学和逻辑证明；反证（Indirect Proof），也叫证明反证，是在假设句（假设某种命题不成立）的基础上，运用演绎法证明命题，它是从反面来证明一个命题真实性的方法，也叫“反证法”。

本证通过事实与定理建立联系来证明一个命题的真实性，在其中包含着若干步骤，没有一步可以跳过，遵循规律推理，确定正确性；反证法则是在假设一个命题为假的前提基础上，推导出矛盾的，从而可以证明原命题的真实性。但是，反证法只可以用于那些可以推导出矛盾的命题，而本证法却可以用于任何任何形式的命题。

因此，本证和反证的区别在于它们的推理模式不同，本证从定理出发，推导正确的结论；而反证从命题的否定出发，推导矛盾，从而得出最终结论。

拓展知识：另外，还有一种推论方式——归纳证明（Induction Proof），它把假设成立的情况作为结论，并使用特定的方法去证明它。归纳证明可以在许多场合中使用，也相对比较容易理解，但是缺点是引入了“推论假设”，它只能用来证明“有限”的命题，而不能用来证明“无限的”命题。