- 439 名前:132人目の素数さん mailto:sage [2011/09/01(木) 17:42:26.34 ]
- >>434
x = yとして求めた関数がf(x) = 1であり、x、yに依存しない定数となるから x≠yの場合もこれが(A)を満たすことは当然。 初めにx≠yの仮定をした場合には、他の関数の存在を示せる可能性がある訳だから それを検証しないのは、不適切。 しかし、この場合に(A)を満たす関数の存在を示すのは不可能と考えられる。 >>435 [1.09]と[3.01]&[3.02]は同じことを繰り返しているだけだから [1.09]を示した時点で 「P => Q」の証明は完了している。
|
![](http://yomi.mobi/qr.gif)
|