質問: ∀x,y[x≦y⇒f(x)≦f(y)]が成立しているとき、 f(x)≦f(y)⇒x≦yは成立しますよ ∀x,y[x≦y⇒f(x)≦f(y)]が成立しているとき、 f(x)≦f(y)⇒x≦yは成立しますよね?
回答: fが定数関数の時はどう?例えばf(x)=1みたいな。別にf(x)≦f(y)が成立していても、x=2、y=1の可能性もある。 1≦1は成り立つわけだ。