※ 引述《ksmrt0123 (ksmrt)》之铭言： : : 甲听到黑桃,他当然不知道是什麽牌,他也知道乙不知道是什麽牌 : : 所以他就说: 如果我不知道是什麽牌,你也不知道是什麽牌. : : 这单纯描述一个事实,令P=甲知道,Q=乙知道 : : if ~p, then ~q 这个没什麽问题 : 甲这样说虽然怪怪的, 不过在逻辑上或自然语言上都不能说有错. : : 然後乙得到的是2 : : 听了甲的话以後想: 逻辑中这式等价於 if q, then p : : 也就是如果我知道,那甲就会知道 <=== 问题应该在这句话 请问这句话是出了什麽问题 : : 因此甲手上的花色是如果我知道了他就会知道的花色 <=== 以逻辑来说, 这个推论 : 错的 还有这推论是为什麽错了? : 乙显然学过逻辑, 不然不会从 ~p->~q 推论 q->p, : 但从 q->p 在推到花色是红心, 却又不符合逻辑. 这个推论不符合逻辑我了解 不过上面那个推论为什麽是错的呢 请大伙有闲有空时大力指教一下 : 要说明逻辑跟自然语言的 if..then 不同, 用简单的句形可能更清楚. : 如 if 2 is odd then 2 is even : 这种句子不胜枚举, 请参考: : http://en.wikipedia.org/wiki/Material_conditional : http://en.wikipedia.org/wiki/Paradoxes_of_material_implication 这连结着实不错 不过英文是包含小弟在内等一小干人的天敌 不知道有没中文好页可以连结呢 多谢多谢 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 59.104.121.226 ※ 编辑: asdinap 来自: 59.104.121.226 (03/16 00:11)