間接證明

間接證明

間接證明。“直接證明”的對稱。通過斷定相關判斷之假來斷定論題之真的證明方法

定義


證證,反證法是間接證明常用的方法。

反證法


假設題,確推,矛盾,假設錯誤,證題,證 反證法。