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