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