[請益] 想請問有沒有矛盾
※ [本文轉錄自 logic 看板 #1DpbRHnp ]
作者: T50 (打不贏二二) 看板: logic
標題: [請益] 想請問有沒有矛盾
時間: Sat May 14 18:17:51 2011
題目是這樣的
在一個房間中，裡面有N個人，每個人背上有寫著生或死
大家都不能彼此溝通，如果所有背後寫死的人，知道自己背後寫死，
那麼他們會在當天的12點死亡
問
當人在第九天死亡，請問有幾個人背後寫死
我一開始很想當然的是這樣解
因為一定有人背後是寫死
那只有一個人背後是寫死時，有N-1個人看到一個死
有一個人看到全部都是生，所以第一天12點死亡
有兩個人看到一個人寫死，但第一天沒有人死亡，
所以知道自己是死，第二天12點兩個人死亡
以此類推
第九天死亡就九個人背後寫死
不過我仔細想想，這樣的推論是基於題目給的條件，去做1~N人的死亡條件推論
如果一開始就有看到生死的人，做的推論應該是從九(八)個死去推想
也就是假設我看到九個死
我就想九個死的人中看到八個死
看到八個死的人中去推想只看到七個死
一直推到只看到一個死
然後必然有一個死的真條件
所以第一天沒人死則否定反推有兩死
第二天沒人死繼續否定反推有三死
一直反推到九個死
然後第九天死亡所以我是生
但我覺得這樣的思考似乎有一個問題，
這樣子好像跟循環論證一樣，但似乎又有點不同，到底有沒有矛盾，哪裡矛盾我也說不出
來。
我覺得第一個的推論，在已經出現明確有幾生幾死的狀況下，跟事先說好把看到的死的數
目用手比出是一樣的意思。那個推論應該是用在不知幾生幾死的人，而非看得到的人
謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.37.168.188
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.37.168.188
推
05/14 19:24, , 1F
05/14 19:24, 1F
→
05/14 19:30, , 2F
05/14 19:30, 2F
→
05/14 22:09, , 3F
05/14 22:09, 3F
→
05/14 22:13, , 4F
05/14 22:13, 4F
推
05/15 00:57, , 5F
05/15 00:57, 5F
不好意思，這裡看不大懂耶
前半是很像遞迴，一直到終止的真條件(必然有一個死)
但否定反推回去的部分，有點難理解，而且他最後是回到推論的初始條件
→
05/15 00:58, , 6F
05/15 00:58, 6F
→
05/15 00:59, , 7F
05/15 00:59, 7F
這裡看不懂，可以說的更仔細嗎
※ 編輯: T50 來自: 114.37.168.188 (05/15 01:21)
→
05/15 01:24, , 8F
05/15 01:24, 8F
推
05/15 03:40, , 9F
05/15 03:40, 9F
→
05/15 03:40, , 10F
05/15 03:40, 10F
可以舉個例子嗎
邏輯的驗證應該不是要合於現實，而是是否有無矛盾吧
→
05/15 03:41, , 11F
05/15 03:41, 11F
→
05/15 03:41, , 12F
05/15 03:41, 12F
完全想不出，四個人跟九個人有什麼不一樣
※ 編輯: T50 來自: 114.37.169.102 (05/15 14:36)
推
05/15 14:44, , 13F
05/15 14:44, 13F
→
05/15 14:46, , 14F
05/15 14:46, 14F
照你的說法，合乎邏輯的，只是不知道矛盾 = =
※ 編輯: T50 來自: 114.37.169.102 (05/15 14:53)
推
05/15 20:45, , 15F
05/15 20:45, 15F
推
05/16 01:21, , 16F
05/16 01:21, 16F
→
05/16 01:21, , 17F
05/16 01:21, 17F
→
05/16 01:23, , 18F
05/16 01:23, 18F
討論串 (同標題文章)
ask-why 近期熱門文章
PTT職涯區 即時熱門文章
