fǎn zhèng①可以驳倒原论证的证据。②由证明与论题相矛盾的判断是不真实的来证明论题的真实性，是一种间接论证。

fǎn zhèng fǎ证明定理的一种方法，先提出和定理中的结论相反的假定，然后从这个假定中得出和已知条件相矛盾的结果来，这样就否定了原来的假定而肯定了定理。也叫归谬法。

jiān/jiàn jiē zhèng míng (jiān/jiànｊｉàｎ)“直接证明”的对称。通过断定相关判断之假来断定论题之真的证明方法。有反证法和选言证明两种。

guī miù fǎ见〖反证法〗。