反证法的理论依据到底是什么?
如题,有的资料书上说是利用命题与他的否定形式的真假不同,通过否定命题的否定形式作出判断,这里可不可以理解为利用命题的否定原理.而有的说是利用了命题的逆否与原命题同真假来证的,请问到底是哪种?请回答的详细点,