请问反证法与利用逆否命题证明有什么相似与区别?