反证法是一种通过证明与论题相矛盾的论断为假，从而确定论题为真的论证方法。其核心在于设立反论题，并通过归谬推演证明反论题的虚假性，最终根据排中律确定原论题的真实性。

反证法的一般步骤包括：

1. 设立反论题：要证明一个论题“p”为真，就先假定一个与“p”相矛盾的判断“非p”为真。
2. 归谬推演：从反论题出发，加上其它明显为真的判断，合乎逻辑地推出一个明显虚假的结论“q”来（如果非p，那么q）。
3. 证明反论题为假：运用充分条件假言推理否定后件式，由“q”为假，可以必然推出“非p”为假。
4. 证明论题为真：根据排中律，“p”和“非p”不可同假，“非p”为假，“p”就必然为真。

举例说明：

假设我们要证明“所有自然数都是大于0的”这一论题。我们可以使用反证法来进行论证。

1. 设立反论题：假设存在一个自然数n，它不大于0（即n≤0）。
2. 归谬推演：根据自然数的定义，自然数是从1开始的正整数序列。因此，如果n不大于0，那么它就不可能是自然数。这与我们的假设“n是自然数”相矛盾。
3. 证明反论题为假：由于我们已经推出了矛盾，即“n是自然数”与“n不大于0”不能同时成立，因此我们的假设“存在一个自然数n，它不大于0”是错误的。
4. 证明论题为真：根据排中律，既然“存在一个自然数n，它不大于0”为假，那么“所有自然数都是大于0的”这一论题就必然为真。

综上所述，反证法是一种有效的论证方法，它通过证明与论题相矛盾的论断为假，从而确定论题为真。在运用反证法时，我们需要确保每一步的推理都是合乎逻辑的，并且最终能够得出明确的结论。