但「1+1唔等於2」同埋「太陽即是月亮」應該算係假命題嚟?
其實if A, then B唔係只係講緊前面條件同後面條件嘅關係渣咩?就算前後條件兩者無關係,如果用if then連埋兩條命題成為一條假言命題/條件命題,就只會係前後條件關係,至於認證前面條件同後面條件嘅真假,甚或前後條件形成嘅一條假言命題嘅真假,只係科學嘅事,同邏輯無關,並唔係邏輯嘅任務
所以我話「If 1+1唔等於2,then 太陽即是月亮」
1. 當T T時,呢句嘢係T,「1+1唔等於2時,太陽即是月亮」係啱
2. 當T F時,呢句嘢係F,「1+1唔等於2時,太陽不是月亮」係錯
3. 當F T時,呢句嘢係T,「1+1等於2時,太陽是月亮」係啱
4. 當F F時,呢句嘢係T,「1+1等於2時,太陽不是月亮」係啱
合併1同2我哋得出,1+1唔等於2時,必然太陽即是月亮,因為「1+1唔等於2時,太陽不是月亮」係錯
合併3同4我哋得出,1+1等於2時,太陽可能係月亮,太陽亦可能唔係月亮,因為3同4都係啱嘅
所以我會諗If A, then B,當A出現,B必然會出現,如果A唔出現,B可能會出現,亦可能唔出現
就算上面嘅結論係唔合理,因為以常識嚟講,我哋知道1+1係會等於2,同埋太陽唔會係月亮,而且1+1唔等於2時係唔會必然導致太陽即是月亮嘅結論,但係上面講過證實呢啲嘢並唔係邏輯嘅責任
我頭先上網睇返,處理「必然」同「可能」嘅句子邏輯稱為模態邏輯
「X是非必然的」等價於「非X是可能的」。
「X是非可能的」等價於「非X是必然的」。
https://chitchitphilosophy.blogspot.com/2017/10/blog-post_27.html
https://chitchitphilosophy.blogspot.com/2017/10/blog-post_61.html
不過其實我純粹覺得用「必然」同「可能」對我嚟講比較容易諗同容易明白而已