背理法と対偶証明法の違いって何なの？
例えば　「A⇒B」の証明で、Bでない⇒Aでない　を証明するのと、Ｂでないと仮定⇒Aでない　って証明するのってほとんど同じでしょ？