Re: [討論] 最難的邏輯題

看板logic作者 (asdinap)時間15年前 (2009/03/16 00:10), 編輯推噓0(000)
留言0則, 0人參與, 最新討論串9/13 (看更多)
※ 引述《ksmrt0123 (ksmrt)》之銘言: : : 甲聽到黑桃,他當然不知道是什麼牌,他也知道乙不知道是什麼牌 : : 所以他就說: 如果我不知道是什麼牌,你也不知道是什麼牌. : : 這單純描述一個事實,令P=甲知道,Q=乙知道 : : if ~p, then ~q 這個沒什麼問題 : 甲這樣說雖然怪怪的, 不過在邏輯上或自然語言上都不能說有錯. : : 然後乙得到的是2 : : 聽了甲的話以後想: 邏輯中這式等價於 if q, then p : : 也就是如果我知道,那甲就會知道 <=== 問題應該在這句話 請問這句話是出了什麼問題 : : 因此甲手上的花色是如果我知道了他就會知道的花色 <=== 以邏輯來說, 這個推論 : 錯的 還有這推論是為什麼錯了? : 乙顯然學過邏輯, 不然不會從 ~p->~q 推論 q->p, : 但從 q->p 在推到花色是紅心, 卻又不符合邏輯. 這個推論不符合邏輯我了解 不過上面那個推論為什麼是錯的呢 請大伙有閒有空時大力指教一下 : 要說明邏輯跟自然語言的 if..then 不同, 用簡單的句形可能更清楚. : 如 if 2 is odd then 2 is even : 這種句子不勝枚舉, 請參考: : http://en.wikipedia.org/wiki/Material_conditional : http://en.wikipedia.org/wiki/Paradoxes_of_material_implication 這連結著實不錯 不過英文是包含小弟在內等一小干人的天敵 不知道有沒中文好頁可以連結呢 多謝多謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 59.104.121.226 ※ 編輯: asdinap 來自: 59.104.121.226 (03/16 00:11)
文章代碼(AID): #19lIXb4p (logic)
討論串 (同標題文章)
文章代碼(AID): #19lIXb4p (logic)