11/09/01 12:51:47.59
(続き)あるいは、この解答について
「 [3.1]～[4.1]では "y＝x" が抜けているから、証明になってない 」
などと主張するつもりか？
>>421
＞ただ、「P => Q」を証明した結果、同時に「Pが真」であるということがいえただけ。
意味不明。君が言うように、本当に「 P ⇒ Q 」を証明したに過ぎないのなら、
"「 P ⇒ Q 」の証明が「Pが真」の証明を兼ねている"
ということは有り得ない。当然、
"「 P ⇒ Q 」の証明が終わった段階で、同時に「Pが真」も言えている"
ということも有り得ない。
なぜか？もし本当に「 P ⇒ Q 」を証明したに過ぎないのなら、
その証明をSと置けば、Sという証明は「 Pが真だと仮定する 」という仮定を
最初に置いてしまっているので、Sの全ては「Pが真である」という仮定ありきでの
証明にすぎない。実際にその証明Sを機能させようとしたら、「Pが真である」という仮定が
"実は仮定ではなく、実際に成り立つ事実なのだ"
ということを追加で証明しなければ(すなわち「Pが真である」を追加で証明しなければ)、
証明Sは機能しないのだ。
"証明Sが得られた段階で、この証明Sは「Pが真」も同時に主張している"
などということは有り得ないのだ。