[ 掲示板に戻る ]

記事No.52764に関するスレッドです

ガウス記号 / やまぴー
1段目から2段目は必要十分な変形ですか?
No.52764 - 2018/08/08(Wed) 15:19:05

Re: ガウス記号 / aaaaaaa
0<x,0<yならば0<x+y
これは必要十分な変形ですか?ときくことは意味があります。
もちろん必要十分な変形ではありません。

x<x+1,y<y+1ならばx+y<x+y+2
これは必要十分な変形ですか?ときくことは意味がありますか。
x<x+1もy<y+1もx+y<x+y+2も常に成り立ちます。

質問のケースはこれと同じです。

No.52771 - 2018/08/08(Wed) 17:07:53