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