11/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を満たすもの、かつそれだけが解である」
＞ということになる
もし「条件Ｒを満たせば、それは解である」という場合であれば、Qを満たすことを証明した
だけでは、その条件Qのみが解であるとはいえない。