作者forself (無所得、故有)
看板logic
標題Re: [轉錄] 微軟中國研究院最新面試題
時間Sat Oct 20 15:13:56 2007
※ 引述《luciferii (路西瓜)》之銘言：
: ※ 引述《forself (無所得、故有)》之銘言：
: : 預設一：小明不確定小強知不知道答案
: : 預設二：小明原先不知完整日期
: : ->由小明"現在我知道了"推得
: : 預設三：不能保證小明一開始便確定最後能獲知答案
: : 預設四：兩者皆理性 對話無矛盾 不猜測 不說謊 只推理
: : 由預設一檢驗小明所說的第一句話：
: : ->如果小明不知道答案 小強必不知答案
: : ->如果小明知道答案 小明不確定小強知不知道答案
: : ->排除小明能確定小強必然知道與必然不知道答案兩種可能---a
: 這裏就推錯了
: 如果A不知道答案 B必不知答案
: =>
: 如果A最後不知道答案 (B必一開始不知道答案 且 B必聽完A的話後還不知道答案)
: for all => for all 要特別小心
我想你誤解我的意思
預設一這邊是指"當小明說第一句話時 他不可能確定小強必然或不然不知道"
跟最後結果沒有關係
我要表達的意思就只是 當小明說話的時候
他唯一能確定的只有"他無法確定小強知不知道"
但是他手上的資訊讓他確定"如果他不知道 小強必不知道"
而如果是三月 那不管他知不知道 小強都不可能知道
那麼他限定條件：當他不知道 小強必不知道就失去意義了
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.131.18.221
1F：推 luciferii:失去意義不是 false, 你條件排除的原因是用常理而非 10/20 16:25
2F：→ luciferii:邏輯本身 10/20 16:25
3F：推 abinvain:你去吃屎 幹 自以為邏輯 11/02 11:18