- 431 名前：１３２人目の素数さん mailto:sage [2011/09/01(木) 17:02:37.26 ]
- >>427
＞そして、君の証明方法に こだわらない場合は、「Pが真」より先に「 P ⇒ Q 」を
＞証明することは出来る。
その証明方法がどのようなものかを示すべき。
このように述べておきながら
>>428では
＞Sは「Pが真である」という過程を最初に置いてしまっているので、
＞Sを実際に活用するときは、「Pが真である」を追加で
＞証明しておかなければ、Sは全く機能しない。
としている。この2つの内容に矛盾があるのは明らか。
|
 |
