- 386 名前:132人目の素数さん mailto:sage [2011/08/28(日) 07:17:56.32 ]
- >>375
>もちろん、「 P 」が真であることは まだ証明できていない。 Pが「関数f(x),g(x)が存在する」ということであれば、Pが真であることが示されている。 >「解が存在する」が真であることを言いたいだけなら、 >「 P ⇒ Q 」を証明したことは "ほとんど意味が無い"と言っていい。 Qが「f(x)=ax+b, g(x)=cx+d, ad−bc=1/2」 であるとするならば、Qにより解が存在したといえる訳であり、それには意味がある。 >なぜなら、もし運よく >「条件Qを満たせば、それは解である」 >ということが証明できたなら、 >「条件Qを満たすもの、かつそれだけが解である」 >ということになる もし「条件Rを満たせば、それは解である」という場合であれば、Qを満たすことを証明した だけでは、その条件Qのみが解であるとはいえない。
|
![](http://yomi.mobi/qr.gif)
|