反证法和假设法一样吗知乎