互反命题等价与反证法

反证法是数学证题中常用的方法。互反命题等价在一些书中也被论及。本文进一步给出了一个“互反命题等价”的较规范完善的逻辑证明方法。同时,深入揭示了反证法的各种推理形式都能化为原命题的反命题形式。从而使人们深刻理解到“互反命题等价”是反证法的基础定理,它“间接证明”的可靠性也是不容置疑的。