詞條：間接證明(間ｊｉàｎ)

jiān/jiàn jiē zhèng míng (jiān/jiànｊｉàｎ)

“直接證明”的對(duì)稱。通過(guò)斷定相關(guān)判斷之假來(lái)斷定論題之真的證明方法。有反證法和選言證明兩種。