- 228 名前：１３２人目の素数さん mailto:sage [2012/04/21(土) 12:15:33.84 ]
- 時々、「⊃」の意味が逆に感じるのはそういう事なのね。
[Ｐ⊃(ＱＶＲ)]⊃[(Ｐ⊃Ｑ)Ｖ(Ｐ⊃Ｒ)]
を
(P→(QＶR))→((P→Q)∨(P→R))
と解釈するなら、排中律を認めなければならないが、
認めないような考え方をしたり、前提を作ったりすると
そりゃ、成り立つとは言えないんじゃないだろうか?
たとえば、
(人間ならば、男か女である。)→
((人間ならば男である)または(人間ならば女である))
排中律を採用するならば、前提
人間ならば、男か女である。
が真であるか偽であるのどちらかである。
偽であれば、爆発原理から命題は真。
つまり、
人間ならば、男か女か┌（┌ ＾o＾）┐ﾎﾓｫ･･･である。
ならば、前提は偽となるため、爆発原理から命題は真。
直感に反するとすれば、この辺なのではないでしょうか?
