11/09/01 05:45:21.67
>>419
[3.1]は>>252の問題の場合は
3条件(R)の中から、1つの条件(Q)を導き出す過程に等しい。
「P => Q」と、「Pが真である。」ということは同時に証明されるので、どちらが先も後もない。
ただ、「P => Q」を証明した結果、同時に「Pが真」であるということがいえただけ。
[2.1]以降y = xの場合という条件が抜けている。
11/09/01 05:45:21.67
>>419
[3.1]は>>252の問題の場合は
3条件(R)の中から、1つの条件(Q)を導き出す過程に等しい。
「P => Q」と、「Pが真である。」ということは同時に証明されるので、どちらが先も後もない。
ただ、「P => Q」を証明した結果、同時に「Pが真」であるということがいえただけ。
[2.1]以降y = xの場合という条件が抜けている。