命題邏輯——自由之門與死亡之門

  正式接觸離散數學,覺得這東西非常有意思。郭一晶講的第一段話是關於“離散”的“散”字的讀音,“散”是一個多音字,但在這裏正確的讀音應該是入聲(sàn)。強調了離散是相對於連續而言。

 

  此外郭老師還舉例了IT界經常被誤讀的幾個單詞

delphi [ˈdɛlˌfaɪ ]

linux [ˈlaɪnʌks]

……

  下課之前,郭老師出了這樣一道經典的邏輯思考題:

 

  問題描述:

有一邏輯學家誤入某部落,被拘於勞獄,酋長意欲放行,他對邏輯學家說:"今有兩門,一爲自由, 一爲死亡, 你可任意開啓一門。現你從兩戰士中選擇一人負責解答你所提的任何一個問題(Y/N),其中一人天性誠實,一人說謊成性,今後生死由你自己選擇"。
邏輯學家沉思片刻,即向一戰士發問,然後開門從容離去。該邏輯學家應如何發問?

  問題分析:

不能確定回答你的問題的戰士是誠實者還是騙子,但對於任意一扇門,直接問他們“這是一扇生(或死)門嗎?”必定會得到兩種不同的答案。

可設問題爲“我所指的這是一扇生門”。如果所指的門真的是生門,誠實的戰士會說“是”,而虛僞的戰士會說“否”,反之則是得到相反的回答。列表如下:

問題 這是一扇生門嗎?
假定的實際情況 生門 1 死門 0
回答情況 誠實的戰士 虛僞的戰士 誠實的戰士 虛僞的戰士
1 0 0 1

這樣一來我們並不能由問題確定一個確切的生門。但由於上面的表中的值都是確定的,那麼我們能否將問題補充來檢驗戰士的回答?

問題 這是一扇生門嗎?
假定的實際情況 生門 1 死門 0
回答情況 誠實的戰士 虛僞的戰士 誠實的戰士 虛僞的戰士
1 0 0 1
補充 另一個戰士會回答“是”嗎?
回答情況 0 0 1 1

如此一來,我們可以發現最後的回答與生死門如初一轍!並且還能知道兩次回答一樣的那個傢伙是虛僞的戰士!

  問題結論:

邏輯學家問其中一個戰士“我指的是一扇‘生門’並且你的同夥的回答是‘是’對嗎?” “如果我問我指的是不是一扇‘生門’,那麼你的同夥會回答‘是’,對嗎?”

若回答是‘否’,那麼所指門即是生門,可以得生。反之。

發佈了30 篇原創文章 · 獲贊 7 · 訪問量 7萬+
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章