2024-09-08 06:15
奇文共賞
我個人覺得:
數學不等式中討論的通常都是「等價」,也就是「if and only if」、「若且唯若」,因為表達式所有解的集合會因等價關係而改變或不改變。事實上,在解邏輯表達式的時候,我們也要注意前式跟後式的等價關係,因為其真值也有可能會因等價關係而改變或不改變。
問題在於,今天的OP問的是「若a>b,且a!=b,則a>=b」是否等價「真」,而不是「a>b,且a!=b」是否等價「a>=b」;後者比較合適的問法是「若且唯若a>b,且a!=b,則a>=b」,這個我相信大家都會說假。
有可能你會說,怎麼遊了整個台北動物園都在邏輯學裡,我覺得可能因為是因為數學裡,「若,則」跟「若且唯若,則」這些字眼跟邏輯學有密切關係;我們在解數學不等式,等式,證明定理等等都implicitly或者explicitly用了邏輯學的知識;沒有了邏輯學,你也就失去形容兩項表達式「等價」,推論「符合A式則符合B式」這些我們看似平常的能力。
歡迎大佬們留言糾正,畢竟我也不是讀數學的,這種交流相信對我的數學基礎也有幫助。