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