背理法

ある命題 P を証明したいときに、P が偽であると仮定して、そこから矛盾を導くことにより、P が偽であるという仮定が誤り、つまり P は真であると結論付けること

REFERENCES:

  • https://ja.wikipedia.org/wiki/%E8%83%8C%E7%90%86%E6%B3%95