※ 引述《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)