由确定和论题相矛盾的判断之假来确定论题之真的证明方法。间接证明的一种。确定和论题相矛盾的判断之假，可用各种方法，如用*归谬法，则这种反证法也就叫归谬法。