※ 引述《littleshan (我要加入劍道社!)》之銘言： : ※ 引述《klimt (真想輕鬆一輩子)》之銘言： : : M會是12跟6是因為你假設小強一開始就知道 所以M才會是12跟6 : : 但是問題是第二句話小強說:"我本來不知道，但是現在我知道了" : : M不可能代12跟6 : 請先同意我的第一個命題 (這應該沒什麼問題) : 「若小強知道，則小明知道」 同意 : 接下來是第二個 (應該也沒什麼問題) : 「若N=2 or N=7，則小明知道」 (命題A) 不同意 因為命題A隱含了一個前提即「小明還未開口，小強就知道生日」 把這個東西加進去才是完整的命題 : 接下來是重點 : 「M不可能為3或9」 : 證明是反證法 : 假設M為3或9，則 3/2, 3/7, 9/2, 9/7 四組生日中至少有一組存在 : 否則命題A無法成立。但這四組生日全部不存在，意即 : 「若N=2 or N=7，則小明不可能知道，因為生日不存在」 : 故假設錯誤。 結論正確。 但一開始的假設就錯誤了，所以結論沒什麼好討論。 : 我從頭到尾可沒假設小強一開始就知道 有，你不自知罷了...:p --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.115.202.174 ※ 編輯: klimt 來自: 140.115.202.174 (10/17 16:03) ※ 編輯: klimt 來自: 140.115.202.174 (10/17 16:04)