→ teves:嗯...感謝指教. 其實一方面是我沒想到什麼好的例子 03/13 22:12
→ teves:一方面是我突然想起吵得很厲害的某題目XD 03/13 22:13
→ ksmrt0123:謝謝回應. 我覺得你的題目還蠻有趣的... 充滿陷井 :D 03/13 23:34
→ ksmrt0123:最後的結果顯然是錯的 但那裡出錯不是很明顯 03/13 23:36
→ ksmrt0123:適合用來當學邏輯的負面教材... :) 03/13 23:37
※ 引述《teves (teves)》之銘言：
: 基本上邏輯符號跟我們常用的語言概念上是有出入的
: 比如說邏輯的if 跟英文的if
: 並不完全一樣
: 如果要用英文的if去理解,會產生一些錯誤
: 甚至把語言轉成邏輯推導以後再轉回語言造成錯誤也會發生
: 舉個很流行的題目當例子
: 假設有八張撲克
: 分別是
: 黑桃1,2
: 紅心2,3
: 方塊1,2
: 梅花4,5
: 今天隨機抽出一張,假設兩人一開始都不知道是什麼
: 然後告訴甲花色,告訴乙數字
: 假設這張牌是黑桃2
: 甲聽到黑桃,他當然不知道是什麼牌,他也知道乙不知道是什麼牌
: 所以他就說: 如果我不知道是什麼牌,你也不知道是什麼牌.
: 這單純描述一個事實,令P=甲知道,Q=乙知道
: if ~p, then ~q 這個沒什麼問題
甲這樣說雖然怪怪的, 不過在邏輯上或自然語言上都不能說有錯.
: 然後乙得到的是2
: 聽了甲的話以後想: 邏輯中這式等價於 if q, then p
: 也就是如果我知道,那甲就會知道 <=== 問題應該在這句話
: 因此甲手上的花色是如果我知道了他就會知道的花色 <=== 以邏輯來說, 這個推論
錯的
乙顯然學過邏輯, 不然不會從 ~p->~q 推論 q->p,
但從 q->p 在推到花色是紅心, 卻又不符合邏輯.
所以結論是, 乙是個半調子的邏輯學家.
: 符合這個條件的只有紅心
: 所以乙就說:"我知道了!是紅心2!"
用此例子說明邏輯的 if, then 跟自然語言中的 if, then
雖然不能說錯, 但這個例子鋪陳時在太複雜, 有些地方具邏輯性,
有些卻又沒有, 雖然都沒錯, 但很多地方感覺就是有點牽強,
很難讓讀者補捉到意旨.
要說明邏輯跟自然語言的 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: 219.68.71.218
※ 編輯: ksmrt0123 來自: 219.68.71.218 (03/13 17:56)