Mowd 與你的交流天地

請問

不進則退的逆否命題是啥

好像和原命題矛盾..?

我覺得應該是 " 進則不退 "
原命題是 " 學如逆水行舟 不進則退 "
意思是在逆水中行舟不向前划就會被水沖退
所以否逆命題應該是 " 學如逆水行舟 進則不退 "
而此意思是在逆水中行舟向前划就不會被水沖退

但是我最近看到一個命題是這樣的

函數的定義:

若 X1不等於X2 則 f(X1)不等於f(X2)---------1式
若 f(X1)=f(X2) 則 X1=X2--------------------2式
2式為1式的否逆命題

一定會有人覺得1式為什麼不寫成
若 X1=X2 則 f(X1)=f(X2)--------------------3式

但是3式卻是錯的,函數的定義是可以一對一或多對一
不可以一對多,而式3可能造成一對多

我的意思是若要寫一命題的否逆命題
原命題必須是對的,不然寫出來的否逆命題也是錯的

我原本覺得 不進則退 好像本來就怪怪的...