辞海

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