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

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

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