「Pと¬Qを仮定して矛盾が言えたら、P⇒Qが言える」を避けて、
「¬Q⇒¬Pが言えたら、P⇒Qが言える」に統一したところで、
どちらも排中律または二重否定除去を使っているので、全く無意味。

どちらの論法が教育的に分かりやすいとかも無い。
どちらが分かりやすいかは示す命題による。