※ 引述《luciferii (路西瓜)》之铭言： : ※ 引述《bombduck ( )》之铭言： : : 我是 91 派的 : : 而 64 派的假设是 : : A 说的第一句话在 B 「回答後」才会「正确」 : : 虽然题目没有说明不能这样假设，但我个人认为用前一个假设会比较合适 : 我不早就说是对中文语意的理解吗? : 认为前者合适是因为作题目作多的习惯，认为後者合适是对中文使用的习惯。 个人认为 这无关甚麽中文使用的习惯云云 事实上 你的习惯也不等於其他人的习惯 更何况依照你对语句的严谨程度 谁都可以任意去解释了 这题我之前也提过了 要不然就是任意答案都可 要不就是依照绝对成立的标准推出9/1 因为6/4号的推法 小明第一句话 是猜测语气 不确定而说肯定 就是说谎 如果可以说谎的话 那我现在也来讲一下我对本题中文的理解 =前情提要= 老师: "小明...你知道12月喔" 老师: "小华...你知道1号喔.." =本剧开始= 小明内心 :(干 12月有三个耶 怎麽办 好吧 先唬唬他) 小明:"哈哈哈 如果我不知道的话，小强肯定也不知道啦" (奸笑) 小华心惊 :(靠 整个中南海 还没人敢偷我的鸡 看我吓死你) 小华:"杰杰杰 我本来不知道的，但是我现在已经知道了" (奸笑) 小明惊 :(!! 妈的 怎麽可能知道 你这唬烂王 不行 输人不输阵) 小明:"黑嘿嘿 我也知道了" 老师:"................你们在干嘛......" 我之前也说了 这是推理游戏 如果可以猜 题目要说明 不然每一句都必须绝对成立 6/4派是把第一句看作是试探语气了 那也不是不行 只是如此的标准之下每个答案都成立了 在我个人观点 每个答案都成立的题目是无意义的 所以只有9/1成立 :为什麽会有somedoubt那种错误? : 因为直接将符号写成 : □ ~K(a)→~K(b) : 事实上这样写是错的，因为所有情形包含 : ~K(a,t1)→~K(b,t1), K表 Know : ~K(a,t2)→~K(b,t2), : ~K(a,t3)→~K(b,t3), : 或者要说是改变K的意义也行 : ~K1(a)→~K1(b) K1 表 know at t1 : ~K2(a)→~K2(b) K2 表 know at t2 : ~K3(a)→~K3(b) K3 表 know at t3 : 其中一种是错的，代表小明不可以肯定->矛盾 : 说穿了就是 : 9/1 派的人认为小明是讲 ~K1(a)→~K1(b) : 6/4 派的人认为小明是讲 ~K3(a)→~K3(b) : 一人选一种而已。 : 接受哪种语意是个人观感。 : 但是要辩说使用前者推不出来9/1，或使用後者推不出来6/4 : 就是基本逻辑没学好的问题了。 --

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