時々、「⊃」の意味が逆に感じるのはそういう事なのね。

[P⊃(QVR)]⊃[(P⊃Q)V(P⊃R)] 
を
(P→(QVR))→((P→Q)∨(P→R))

と解釈するなら、排中律を認めなければならないが、
認めないような考え方をしたり、前提を作ったりすると
そりゃ、成り立つとは言えないんじゃないだろうか?

たとえば、

(人間ならば、男か女である。)→
((人間ならば男である)または(人間ならば女である))

排中律を採用するならば、前提

人間ならば、男か女である。

が真であるか偽であるのどちらかである。
偽であれば、爆発原理から命題は真。

つまり、

人間ならば、男か女か┌(┌ ^o^)┐ホモォ・・・である。

ならば、前提は偽となるため、爆発原理から命題は真。

直感に反するとすれば、この辺なのではないでしょうか?