背理法

• 背理法で命題Pを証明するには、まず命題Pが正しくないことを仮定して、その結果矛盾が起こるなら命題Pが真でないと仮定したことが悪かった ⇒ 命題Pは真である、とする