11/09/01 17:02:37.26
>>427
＞そして、君の証明方法に こだわらない場合は、「Pが真」より先に「 P ⇒ Q 」を
＞証明することは出来る。
その証明方法がどのようなものかを示すべき。
このように述べておきながら
>>428では
＞Sは「Pが真である」という過程を最初に置いてしまっているので、
＞Sを実際に活用するときは、「Pが真である」を追加で
＞証明しておかなければ、Sは全く機能しない。
としている。この2つの内容に矛盾があるのは明らか。
11/09/01 17:02:37.26
>>427
＞そして、君の証明方法に こだわらない場合は、「Pが真」より先に「 P ⇒ Q 」を
＞証明することは出来る。
その証明方法がどのようなものかを示すべき。
このように述べておきながら
>>428では
＞Sは「Pが真である」という過程を最初に置いてしまっているので、
＞Sを実際に活用するときは、「Pが真である」を追加で
＞証明しておかなければ、Sは全く機能しない。
としている。この2つの内容に矛盾があるのは明らか。