“直接證明”的對稱。通過斷定相關判斷之假來斷定論題之真的證明方法。有反證法和選言證明兩種。