※ 引述《luciferii (路西瓜)》之铭言： : ※ 引述《forself (无所得、故有)》之铭言： : : 预设一：小明不确定小强知不知道答案 : : 预设二：小明原先不知完整日期 : : ->由小明"现在我知道了"推得 : : 预设三：不能保证小明一开始便确定最後能获知答案 : : 预设四：两者皆理性 对话无矛盾 不猜测 不说谎 只推理 : : 由预设一检验小明所说的第一句话： : : ->如果小明不知道答案 小强必不知答案 : : ->如果小明知道答案 小明不确定小强知不知道答案 : : ->排除小明能确定小强必然知道与必然不知道答案两种可能---a : 这里就推错了 : 如果A不知道答案 B必不知答案 : => : 如果A最後不知道答案 (B必一开始不知道答案 且 B必听完A的话後还不知道答案) : for all => for all 要特别小心 我想你误解我的意思 预设一这边是指"当小明说第一句话时 他不可能确定小强必然或不然不知道" 跟最後结果没有关系 我要表达的意思就只是 当小明说话的时候 他唯一能确定的只有"他无法确定小强知不知道" 但是他手上的资讯让他确定"如果他不知道 小强必不知道" 而如果是三月 那不管他知不知道 小强都不可能知道 那麽他限定条件：当他不知道 小强必不知道就失去意义了 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 220.131.18.221