背理法

背理法（帰謬法）とは、ある命題を証明するために、あえて「その命題が間違っている（否定）」と仮定し、論理を進めると矛盾が生じることを示すことで、元の命題が正しいと結論づける証明方法。「もし〜でないとしたら、おかしなことになる」というロジック。「√2は無理数である」ことの証明などが有名。ビジネスの議論でも、相手の主張の矛盾を突くために使われることがある。