数学なんて大好きだ

ホームページ
ソフトウェア
ひまつぶし
リンク
背理法とは、「ある命題Aに対して、Aが成り立たないと仮定して矛盾を導くことで、命題Aが成り立つことを示す証明方法のこと」です。