Re: 微軟中國研究院最新面試題 (保證最淺顯易懂的 …

看板logic作者 (卡)時間12年前 (2013/03/27 20:21), 編輯推噓6(6028)
留言34則, 3人參與, 最新討論串4/5 (看更多)
這是老題目了,但也衍生出我多年的迷惑。 我是 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

03/27 22:31, , 1F
如果明天沒下雨,我去約會。
03/27 22:31, 1F

03/27 22:31, , 2F
明天沒下雨,我肯定約會。
03/27 22:31, 2F

03/27 22:32, , 3F
兩句意含不同。
03/27 22:32, 3F

03/27 22:34, , 4F
還有,程式裏的if then..不是邏輯上的if then
03/27 22:34, 4F

03/27 22:34, , 5F
至少我那時候大學上程式時,真值表是第一章會上的
03/27 22:34, 5F

03/28 08:48, , 6F
邏輯真值表高中一次 大學一次 ...但是這邊我代不上來
03/28 08:48, 6F

03/28 08:49, , 7F
所以用程式表達是不通的阿...
03/28 08:49, 7F

03/28 15:25, , 8F
程式裏的if..then不是邏輯上的 imply
03/28 15:25, 8F

03/28 15:27, , 9F
所`以決定了 9/1 和 6/4 的區別
03/28 15:27, 9F

03/28 15:27, , 10F
小明第一句話的模糊發言就是問題誤會的根源
03/28 15:27, 10F

03/28 17:09, , 11F
謝謝~~~~
03/28 17:09, 11F

03/29 04:24, , 12F
第一句話小明直接說"小強肯定不知道"就不會有爭議
03/29 04:24, 12F

03/29 04:25, , 13F
不過就我看來原句的的語意再怎麼樣也不會變成6/4想用的語意
03/29 04:25, 13F

03/29 04:26, , 14F
如果明天沒下雨,我肯定去約會
03/29 04:26, 14F

03/29 04:27, , 15F
這句話的語意包括 "我沒去約會的話,就會造成明天下雨"嗎
03/29 04:27, 15F

03/29 04:27, , 16F
這就要有請語意學專家了
03/29 04:27, 16F

03/30 15:55, , 17F
你用"A造成B"去想就會有這問題,因為非B不能"造成"非A
03/30 15:55, 17F

03/30 16:05, , 18F
可以這樣對比,6/4派推論時命時是:
03/30 16:05, 18F

03/30 16:05, , 19F
如果 a<1 則 A-1 < 0
03/30 16:05, 19F

03/30 16:05, , 20F
9/1派推論時命題是:
03/30 16:05, 20F

03/30 16:06, , 21F
已知 a<1 ,命題 已知 A-1 <0
03/30 16:06, 21F

03/30 16:12, , 22F
或許換個方式想,6/4的推理是通則的方式,9/1
03/30 16:12, 22F

03/30 16:12, , 23F
則是遇上剛好可以額外知道"小明本來就不可能知道"條件
03/30 16:12, 23F

03/30 16:12, , 24F
下的推理法
03/30 16:12, 24F

03/30 18:37, , 25F
我原句並沒有要用A造成B想 如果明天沒下雨,我肯定去約會
03/30 18:37, 25F

03/30 18:38, , 26F
並沒有要用 沒下雨造成約會來想,單純就是代換題目原句
03/30 18:38, 26F

03/30 18:39, , 27F
我只是單純問 如果A則B 能不能 推出 非B造成非A 的語意而已
03/30 18:39, 27F

03/30 18:42, , 28F
雖然你做了解釋,我還是很難想像這樣的推理是怎麼得出的
03/30 18:42, 28F

03/30 18:46, , 29F
比如說,我打開一盒樸克牌,抽出一張牌,盒子蓋好交給你
03/30 18:46, 29F

03/30 18:47, , 30F
然後我說 "如果我不看牌,你就不知道那盒樸克牌缺了哪張"
03/30 18:47, 30F

03/30 18:51, , 31F
這句話要推成 "你知道樸克牌缺了哪張以後 我就看牌"?
03/30 18:51, 31F

03/30 18:53, , 32F
正確的講法應該是 "如果你知道樸克牌缺了哪張,表示我已看牌"
03/30 18:53, 32F

03/30 19:06, , 33F
由此來看6/4派是以前面那句的語意來推理
03/30 19:06, 33F

03/30 19:07, , 34F
9/1派是以後面那句的語意來推理
03/30 19:07, 34F
文章代碼(AID): #1HKkGth3 (logic)
討論串 (同標題文章)
文章代碼(AID): #1HKkGth3 (logic)