作者KanoLoa (卡)
看板logic
标题Re: 微软中国研究院最新面试题 (保证最浅显易懂的 …
时间Wed Mar 27 20:21:08 2013
这是老题目了，但也衍生出我多年的迷惑。
我是 9/1 派， 我总想理解 6/4 却又不是这麽简单。
藉着这个问题浮出来趁机偷问一下。
大家都知道关键在於第一句的解读不同，导致之後的解答不同。
--- 小明说：「 如果我不知道的话，小强肯定也不知道 」 ---
这句话在我心里就只是简单的直述句，甚至可表示成程式码：
-----
bool 小明不知道 ;
bool 小强不知道 ;
if(小明不知道== true){
小强不知道 = true ;
}
-----
但 6/4 派却可以将之转换为：
-----
bool 小明不知道 ;
bool 小强不知道 ;
bool 小明知道 ;
bool 小强知道 ;
if( 小强知道 = true){
小明知道 = true ;
}
//参考前几篇 y版友的推文
-----
而从我几年写程式的感觉来看，上面的判断式子是没办法推导成下面的。
我大学没有特别去选修逻辑课，只有简单的逻辑基础，
但如果以上真的能代换，我想该认真看一下逻辑书籍。
另外第一句话的问题，是出在 "如果" 这两个字上面吗 ？
--- 小明说：「 如果我不知道的话，小强肯定也不知道 」 ---
改成小明说：「 我不知道，小强肯定也不知道 」 ---
这样还会有争议吗？
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 124.12.52.118
1F：推 luciferii:如果明天没下雨，我去约会。 03/27 22:31
2F：→ luciferii:明天没下雨，我肯定约会。 03/27 22:31
3F：→ luciferii:两句意含不同。 03/27 22:32
4F：推 luciferii:还有，程式里的if then..不是逻辑上的if then 03/27 22:34
5F：→ luciferii:至少我那时候大学上程式时，真值表是第一章会上的 03/27 22:34
6F：→ KanoLoa:逻辑真值表高中一次 大学一次 ...但是这边我代不上来 03/28 08:48
7F：→ KanoLoa:所以用程式表达是不通的阿... 03/28 08:49
8F：推 luciferii:程式里的if..then不是逻辑上的 imply 03/28 15:25
9F：→ luciferii:所`以决定了 9/1 和 6/4 的区别 03/28 15:27
10F：→ luciferii:小明第一句话的模糊发言就是问题误会的根源 03/28 15:27
11F：→ KanoLoa:谢谢~~~~ 03/28 17:09
12F：→ teves:第一句话小明直接说"小强肯定不知道"就不会有争议 03/29 04:24
13F：→ teves:不过就我看来原句的的语意再怎麽样也不会变成6/4想用的语意 03/29 04:25
14F：→ teves:如果明天没下雨,我肯定去约会 03/29 04:26
15F：→ teves:这句话的语意包括 "我没去约会的话,就会造成明天下雨"吗 03/29 04:27
16F：→ teves:这就要有请语意学专家了 03/29 04:27
17F：推 luciferii:你用"A造成B"去想就会有这问题，因为非B不能"造成"非A 03/30 15:55
18F：推 luciferii:可以这样对比，6/4派推论时命时是: 03/30 16:05
19F：→ luciferii:如果 a<1 则 A-1 < 0 03/30 16:05
20F：→ luciferii:9/1派推论时命题是: 03/30 16:05
21F：→ luciferii:已知 a<1 ，命题 已知 A-1 <0 03/30 16:06
22F：推 luciferii:或许换个方式想，6/4的推理是通则的方式，9/1 03/30 16:12
23F：→ luciferii:则是遇上刚好可以额外知道"小明本来就不可能知道"条件 03/30 16:12
24F：→ luciferii:下的推理法 03/30 16:12
25F：→ teves:我原句并没有要用A造成B想 如果明天没下雨,我肯定去约会 03/30 18:37
26F：→ teves:并没有要用 没下雨造成约会来想,单纯就是代换题目原句 03/30 18:38
27F：→ teves:我只是单纯问 如果A则B 能不能 推出 非B造成非A 的语意而已 03/30 18:39
28F：→ teves:虽然你做了解释,我还是很难想像这样的推理是怎麽得出的 03/30 18:42
29F：→ teves:比如说,我打开一盒朴克牌,抽出一张牌,盒子盖好交给你 03/30 18:46
30F：→ teves:然後我说 "如果我不看牌,你就不知道那盒朴克牌缺了哪张" 03/30 18:47
31F：→ teves:这句话要推成 "你知道朴克牌缺了哪张以後 我就看牌"? 03/30 18:51
32F：→ teves:正确的讲法应该是 "如果你知道朴克牌缺了哪张,表示我已看牌" 03/30 18:53
33F：→ teves:由此来看6/4派是以前面那句的语意来推理 03/30 19:06
34F：→ teves:9/1派是以後面那句的语意来推理 03/30 19:07