※ 引述《teves (teves)》之铭言： : 基本上逻辑符号跟我们常用的语言概念上是有出入的 : 比如说逻辑的if 跟英文的if : 并不完全一样 : 如果要用英文的if去理解,会产生一些错误 : 甚至把语言转成逻辑推导以後再转回语言造成错误也会发生 : 举个很流行的题目当例子 : 假设有八张扑克 : 分别是 : 黑桃1,2 : 红心2,3 : 方块1,2 : 梅花4,5 : 今天随机抽出一张,假设两人一开始都不知道是什麽 : 然後告诉甲花色,告诉乙数字 : 假设这张牌是黑桃2 : 甲听到黑桃,他当然不知道是什麽牌,他也知道乙不知道是什麽牌 : 所以他就说: 如果我不知道是什麽牌,你也不知道是什麽牌. : 这单纯描述一个事实,令P=甲知道,Q=乙知道 : if ~p, then ~q 这个没什麽问题 甲这样说虽然怪怪的, 不过在逻辑上或自然语言上都不能说有错. : 然後乙得到的是2 : 听了甲的话以後想: 逻辑中这式等价於 if q, then p : 也就是如果我知道,那甲就会知道 <=== 问题应该在这句话 : 因此甲手上的花色是如果我知道了他就会知道的花色 <=== 以逻辑来说, 这个推论 错的 乙显然学过逻辑, 不然不会从 ~p->~q 推论 q->p, 但从 q->p 在推到花色是红心, 却又不符合逻辑. 所以结论是, 乙是个半调子的逻辑学家. : 符合这个条件的只有红心 : 所以乙就说:"我知道了!是红心2!" 用此例子说明逻辑的 if, then 跟自然语言中的 if, then 虽然不能说错, 但这个例子铺陈时在太复杂, 有些地方具逻辑性, 有些却又没有, 虽然都没错, 但很多地方感觉就是有点牵强, 很难让读者补捉到意旨. 要说明逻辑跟自然语言的 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: 219.68.71.218 ※ 编辑: ksmrt0123 来自: 219.68.71.218 (03/13 17:56)