作者luciferii (路西瓜)
看板logic
标题Re: [转录] 微软中国研究院最新面试题
时间Sat Oct 20 13:21:16 2007
※ 引述《somedoubt (人独立燕双飞)》之铭言：
: ※ 引述《luciferii (路西瓜)》之铭言：
: : B 一开始就知道
: : B 在 A 讲完话後不知道
: : B 在 A 讲完话後知道
: : 既然 A 敢说是第2种，原因推一下就知道
: 直接点出你的漏洞吧。
: 小明如何能肯定小强在他讲完第一句话时，他依旧不知道？
注意小明并没有「肯定小强在小明讲完第一句话时，小明依旧不知道」
这是你帮小明加上去的假设，他并不是这样说。
就说请你把这几篇文章完完整整看完。
false -> false 仍为 true
我以为真值表应该大家都有学过
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 203.73.254.16
※ 编辑: luciferii 来自: 203.73.254.16 (10/20 13:25)
1F：→ somedoubt:"既然 A 敢说是第2种，原因推一下就知道"何解？ 10/20 13:26
2F：推 luciferii:懒得再写一次，你就乾脆每个组合都代进去不就知道了 10/20 13:27
3F：→ luciferii:你老是刻意把"(if 小明最後不知道)"的前件忽略掉 10/20 13:29
4F：推 somedoubt:希望你将来有一天能懂。 10/20 13:30
5F：推 luciferii:我比较希望你分清楚什麽是 if 和 only if 10/20 13:32
6F：推 somedoubt:感谢慈悲。我可以分清楚。 10/20 13:33
7F：→ luciferii:题目作久了，没法发现这种语意上问题是常态... 10/20 13:34
8F：→ luciferii:我承认一开始也是监持第一种意思，因为"习惯上"这样题目 10/20 13:35
9F：→ luciferii:比较标准。事实上是过於先入为主。 10/20 13:35
10F：推 somedoubt:跟习惯无关，而是你没有掌握模态词的语意。 10/20 13:36
11F：→ luciferii:如果你在第二种意思下推不出9/1，那我就当你还没弄懂罗 10/20 13:36
12F：→ luciferii:等你把在第二种意思下还能推到9/1的过程写出来，错误的 10/20 13:37
13F：→ luciferii:点就自然看得很明显 10/20 13:37
14F：推 luciferii:你还停留在把「如果xxx，我肯定」和「我肯定」搞混 10/20 13:39
15F：→ luciferii:果然是对"模态词"认识不清 10/20 13:40
16F：推 somedoubt:你说我混淆的那两句是可以互换的喔。 10/20 13:48
17F：推 luciferii:...看你上头这句，我真的建议你重新把真值表看一看 10/20 14:13
18F：推 somedoubt:你把述词跟模态逻辑看完就知道为什麽了。 10/20 14:16