※ 引述《forself (無所得、故有)》之銘言： : 自己的想法 請指教 前文推文中有吵架被砍了 重回 : 小明知：月 : 小強知：日 : 小明 | 小強 : 3 | 4 5 8 : 6 | 4 7 : 9 | 1 5 : 12 | 1 2 8 : 預設一：小明不確定小強知不知道答案 : 由預設一檢驗小明所說的第一句話： : ->如果小明不知道答案 小強必不知答案 : ->如果小明知道答案 小明不確定小強知不知道答案 : ->排除小明能確定小強必然知道與必然不知道答案兩種可能---a 排除錯誤 對這句理解有問題"如果小明知道答案 小明不確定小強知不知道答案" 即使沒有預設一和A第一句話，所有可能性為 如果A知道答案，在某些答案時，A確定B知道答案 a1 在某些答案時，A確定B不知道答案 a2 在某些答案時，A不確定B知不知道答案 a3 加上預設一和A第一句話，並不能讓你排除掉 a1 和 a2 對 for any 的反證是找出 exist one ，不是 for all 都要推翻 邏輯關係混掉了 正常的推論是 「如果A不知道答案的話 B必不知答案」 => 如果 A現在不知道答案 and A在B說完後還是不知道答案 則 B現在不知道答案 and B在A說完後還是不知道答案 因為A現在不知道答案恆真 故等價為 如果 A在B說完後還是不知道答案 則 B現在不知道答案 and B在A說完後還是不知道答案 「最後」兩字是這樣而來 畫清楚全部的圖 t1: A講話前 t2: A講話後 t3: B講話後 所有的可能性 如果A在t1不知道，則B在t1不知道 如果A在t1不知道，則B在t2不知道 如果A在t3不知道，則B在t1不知道 如果A在t3不知道，則B在t2不知道 : 預設二：小明原先不知完整日期 : ->由小明"現在我知道了"推得 : 由預設二檢驗小明所說的第一句話： : ->小明不知小強知不知道答案 : ->小明確定自己不知道答案 小強也不會知道答案 : ->如果小強知道答案 而小明不知道 則矛盾-----------------b 如果你知道「原先」和「現在」時，「知道」的狀況可以改變 在推論時忽略掉只是邏輯題作多的習慣，而非遵循習慣 若以最後的時點來說，這四種是全部情形 小明確定若自己「原先」不知道答案 小強「原先」也不會知道答案 小明確定若自己「原先」不知道答案 小強「現在」也不會知道答案 小明確定若自己「現在」不知道答案 小強「原先」也不會知道答案 小明確定若自己「現在」不知道答案 小強「現在」也不會知道答案 還沒開始解題就排除後面三句的可能性，所以才會得出9/1 這是經驗累積成的盲點 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 218.166.109.87 ※ 編輯: luciferii 來自: 218.166.109.87 (10/21 11:17)