反证法的基本步骤：（1）假设命题结论不成立，即假设结论的反面成立；（2）从这个__，经过推理论证，得出__；（3）从矛盾判定假设不正确，从而肯定命题的结论正确

反证法的基本步骤：（1）假设命题结论不成立，即假设结论的反面成立；（2）从这个反设出发，经过推理论证，得出矛盾；（3）从矛盾判定假设不正确，从而肯定命题的结论正确。

反证法作为一种间接证明方法，其核心逻辑是通过否定命题结论的反面来间接肯定原结论。这一过程被学术界概括为“反设-归谬-结论”三阶段：首先通过“反设”将结论的反面作为条件引入，例如要证明“√2是无理数”时，需先假设“√2是有理数”；随后的“归谬”阶段是关键，需要从反设出发，依据公理、定理或已知条件进行严格推理，最终导出矛盾——这种矛盾可能表现为与已知条件冲突、与公理定理矛盾、与自身假设矛盾或自相矛盾；最后根据逻辑排中律，既然矛盾的导出说明反设不成立，那么原命题结论必然为真。

从数理逻辑角度看，反证法的有效性建立在矛盾律和排中律基础上。当假设¬P（非P）并推导出矛盾Q∧¬Q时，根据矛盾律可知¬P必为假，再由排中律P∨¬P为真，即可判定P为真。这种方法特别适用于直接证明困难的命题，例如“素数有无穷多个”的证明就巧妙利用了反证法：假设素数有限则可构造出不在列表中的新素数，从而产生矛盾。值得注意的是，若结论的反面存在多种情况（如“至少有两个”的反面包括“一个没有”和“只有一个”），则需采用穷举反证法，对每种情况逐一归谬。