数学基礎論・数理論理学 その12
■ このスレッドは過去ログ倉庫に格納されています
0228132人目の素数さん
2012/04/21(土) 12:15:33.84[P⊃(QVR)]⊃[(P⊃Q)V(P⊃R)]
を
(P→(QVR))→((P→Q)∨(P→R))
と解釈するなら、排中律を認めなければならないが、
認めないような考え方をしたり、前提を作ったりすると
そりゃ、成り立つとは言えないんじゃないだろうか?
たとえば、
(人間ならば、男か女である。)→
((人間ならば男である)または(人間ならば女である))
排中律を採用するならば、前提
人間ならば、男か女である。
が真であるか偽であるのどちらかである。
偽であれば、爆発原理から命題は真。
つまり、
人間ならば、男か女か┌(┌ ^o^)┐ホモォ・・・である。
ならば、前提は偽となるため、爆発原理から命題は真。
直感に反するとすれば、この辺なのではないでしょうか?
■ このスレッドは過去ログ倉庫に格納されています