A⇒Bと(¬A)∨B
は同じ真偽値をとることを知ったんですが
これって背理法みたいに数学の証明問題とかで役に立ちますかね？

これ利用した問題あったら教えて