作者susula (書 電腦 排球)
看板logic
標題Re: [問題] 推理遊戲
時間Thu Jan 25 00:27:33 2007
※ [本文轉錄自 ask 看板]
作者: susula (書 電腦 排球) 看板: ask
標題: Re: [問題] 推理遊戲
時間: Wed Jan 24 23:45:46 2007
※ 引述《makoto223 (Clazziquai Project)》之銘言：
: 小明和小紅都是張老師的學生，
: 張老師的生日是M月N日，
: 2人都知道張老師的生日是下列10組中的一天。
: 張老師把M值告訴了小明，
: 把N值告訴了小紅，
: 張老師問他們知道他的生日是哪一天嗎?
: 3月4日，3月5日，3月8日，6月4日，6月7日
: 9月1日，9月5日，12月1日，12月2日，12月8日
: 小明說：如果我不知道的話，小紅肯定也不知道。
此句表示若小紅知道了，小明就知道了
為什麼小紅會知道?因為N是2or7
那為什麼小紅知道小明就會知道? 因為M是6or12
: 小紅說：本來我也不知道，但是現在我知道了。
但小紅說他本來不知道，所以N不是2也不是7
而小紅因為小明的話知道M是6or12
而6月和12月的日期都不一樣...所以小紅知道了
而小明因為小紅說他本來不知道
所以小明知道N不是2也不是7
: 小明說：哦，那我也知道了。
如果小明知道的M是12，那他還剩12/1和12/8兩種..不可能說他知道了
如果小明知道的M是6，那因為他知道N不是7
所以他就知道答案為6/4了
不知道大家看的懂嗎?
: 請根據以上對話推斷答案。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.64.171.127
※ 編輯: susula 來自: 61.64.171.127 (01/24 23:47)
1F：推 tomokazu:第一段就錯了 01/24 23:50
2F：推 susula:哪邊錯還請指證XD 01/24 23:51
3F：→ tomokazu:M=6or7是在"小紅知道小明就會知道"的情況下成立 01/24 23:52
4F：→ tomokazu:但實際情況是"小明不知道所以小紅不知道" 01/24 23:52
5F：推 susula:"小明不知道所以小紅不知道"和小紅知道小明就知道等價 01/24 23:55
6F：→ susula:若p則q 另一方面也就是說 非q則非p 兩者是意思相同的 01/24 23:56
7F：推 tomokazu:這我知道 01/24 23:57
8F：→ susula:所以M=6or12成立呀 01/24 23:57
9F：→ tomokazu:若P則Q 非P則非Q 但是你根本沒有先證明非Q成立阿= = 01/24 23:58
10F：→ tomokazu:那麼非P怎麼可能成立= = 01/24 23:59
11F：→ tomokazu:我上上樓打錯 應該是非Q則非P 01/25 00:00
12F：推 susula:是非q則非p 01/25 00:00
13F：→ tomokazu:我的推論有證明P成立 但是你的證明卻沒有證非Q成立 01/25 00:00
14F：→ tomokazu:所謂的推理是有從已知去推導出未知 01/25 00:01
15F：→ susula:你觀念有問題喔..若p則q的敘述不用去管p到底成不成立 01/25 00:02
16F：→ tomokazu:你不知道非Q成立的話 就無法得知非P會成立了 01/25 00:02
17F：→ susula:這種敘述是表示若p成立，q就會成立 01/25 00:02
18F：推 tomokazu:對 所以我先證明P成立 得到Q成立 01/25 00:06
19F：→ tomokazu:但是非Q不成立 你卻說非P成立 就不合理 01/25 00:07
20F：推 tomokazu:用另一個觀點來看 小紅知道 所以 小明知道 是不可能成立ꨠ 01/25 00:09
21F：→ tomokazu:就算N=2or7 小紅不會跟小明說阿 那麼小明還是不知道答案 01/25 00:11
22F：推 susula:會阿..如果小紅說知道..那小明就知道N一定等於2or7了 01/25 00:12
23F：推 tomokazu:那為什麼小紅會跟小明說他知道阿= = 題目又沒說 01/25 00:15
24F：推 susula:我是說如果阿.. 01/25 00:17
25F：→ susula:小紅知道=>小明知道 小明不知道=>小紅不知道 01/25 00:18
26F：→ susula:上面兩句是一樣的意思 01/25 00:19
27F：→ susula:你如果說小紅知道 所以 小明知道 是不可能成立 01/25 00:20
28F：→ susula:那小明不知道 小紅也不知道也不可能成立 01/25 00:20
29F：→ susula:因為這兩句話是等價的 01/25 00:20
30F：→ susula:不爭論了..好累...要去睡了，應該找多一點人來回答XD 01/25 00:22
31F：推 susula:轉去邏輯版看別人的回答好了 01/25 00:25
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.64.171.127
32F：推 MarsBallroom:用N=2or7 證出M，後來又否定 N=2or7... 01/28 01:40