不,楼主才是正确的,这个说法就是“不一定对”,而不是“一定不对”。
一楼说的有一部分很好,并且非常值得注意,即:
“矛盾的构成有三种:
与已知公理矛盾(比如某反证推导推出两条平行直线出现了交点)
与题中给出的已知条件矛盾
或者是自相矛盾”
逆否证法就是其中的”通过假设结论不成立,推出的结论与题设相矛盾“
但楼上的说法有明显的错误,
反证法并不是证明
否命题的错误,否命题是错误的,并不能说明原命题是正确的,照这样看反证法本身就有问题。反证法本质上应该是”证‘
命题的否定’是错误的“而非证明”否命题“是错误的。
经过以上讨论,我个人认为,反证法并不等价于逆否证法,应该说逆否证法是反证法中的一种表现形式。