背理法の意味 | Babel Free

名詞

定義

命題が成り立たないと仮定し、それが誤りであることを示して命題が真であると結論する証明法。帰謬法。