噓 GXX:第一個命題就有問題=.= 03/23 20:02
推 mikechan:第一個命題沒問題呀 09/21 23:58
→ mikechan:有問題的是命題A 09/22 00:01
※ 引述《klimt (真想輕鬆一輩子)》之銘言：
: ※ 引述《littleshan (我要加入劍道社!)》之銘言：
: : ~P -> ~Q
: : 同義為：Q -> P (若小強知道 則小明知道)
: : 小強在什麼情況下會知道呢？ 那就是 N=2 或 N=7的時候
: : 這種情況下不知道 M 也可以得到 12/2 或 6/7
: : 因此 M 是 12 或 6 其中之一
: M會是12跟6是因為你假設小強一開始就知道 所以M才會是12跟6
: 但是問題是第二句話小強說:"我本來不知道，但是現在我知道了"
: M不可能代12跟6
請先同意我的第一個命題 (這應該沒什麼問題)
「若小強知道，則小明知道」
接下來是第二個 (應該也沒什麼問題)
「若N=2 or N=7，則小明知道」 (命題A)
接下來是重點
「M不可能為3或9」
證明是反證法
假設M為3或9，則 3/2, 3/7, 9/2, 9/7 四組生日中至少有一組存在
否則命題A無法成立。但這四組生日全部不存在，意即
「若N=2 or N=7，則小明不可能知道，因為生日不存在」
故假設錯誤。
我從頭到尾可沒假設小強一開始就知道
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.62.3.35