作者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