反证法是一种间接的证明方法，其核心原理在于通过假设命题的结论不成立（即假设命题结论的反面成立），然后推导出矛盾，从而证明原命题的正确性。

具体来说，反证法的运用通常包含以下三个步骤：

1. 反设：首先，我们假设要证明的命题的结论不成立，即假设其反面是成立的。这是反证法的起点，也是构建后续推理的基础。

2. 归谬：接下来，基于这个假设，我们进行逻辑推理，试图推导出一些结论。然而，在推导过程中，我们会发现这些结论与已知的事实、定义、定理或公理相矛盾。这种矛盾是反证法的关键所在，它表明我们的假设是错误的。

3. 结论：由于我们推导出了矛盾，因此可以断定，我们的假设——即命题结论的反面成立——是错误的。由此，我们可以得出原命题的结论是正确的。

举个例子来说明反证法的应用：

假设我们要证明“两条直线相交只有一个交点”。我们可以按照反证法的步骤进行推理：

• 反设：假设两条直线相交不止有一个交点，即它们至少有两个交点。
• 归谬：基于这个假设，我们可以推导出一些结论。然而，根据几何学的基本定理，两条直线如果相交，那么它们只能在一个点上相交，不可能在多个点上相交。这与我们的假设相矛盾。
• 结论：由于我们推导出了矛盾，因此可以断定，我们的假设——即两条直线相交不止有一个交点——是错误的。所以，原命题“两条直线相交只有一个交点”是正确的。

综上所述，反证法是一种通过假设命题结论的反面成立，然后推导出矛盾，从而证明原命题正确性的间接证明方法。