>>165

１）
対偶証明は
対偶命題 ￣q→￣p
という経路の方が見易い場合に有効

２）
背理法は
￣q ? ￣p→空集合または矛盾
という経路の方が見易い場合に有効

ということではないでしょうか？