作者teves (teves)
看板logic
标题Re: [讨论] 最难的逻辑题
时间Thu Mar 12 11:56:17 2009
※ 引述《asdinap (asdinap)》之铭言：
: ※ 引述《aletheia (cOnJeCTuRe)》之铭言：
: : 先进大都很忙 我回你好了
: : 一般来说 学术文章中出现iff 他的意思就是左右两边逻辑上相等
: : 就是左右边都真,左右边都假 这两种情况而已
: 如果是这种说法 我显然可以接受
: 多谢指点
: (如果该题目中三神仙也认同这种用法 齁齁齁 此题显然简单很多)
: : 他的重点在於他利用iff这运算元的特性回答题目
: : 你的问题在於你对iff的解释不满 那你认为iff是甚麽呢?
: 我认为iff 是我想法中的 "只有当...."
: 不过我不会用iff的这种想法进入我个人的逻辑思考中
: 因为我的确是对iff这个逻辑运算元不满 这个词汇没能让我认同
: 不过也许它在逻辑运算中很好用 所以是很常用的符号
: 但我是对逻辑思考与有趣的问题有兴趣 并不是对逻辑学有兴趣
: 我想一般非此科系的人大概都跟我差不多吧
: 所以我是逻辑学外行的人的想法提出疑问的
基本上逻辑符号跟我们常用的语言概念上是有出入的
比如说逻辑的if 跟英文的if
并不完全一样
如果要用英文的if去理解,会产生一些错误
甚至把语言转成逻辑推导以後再转回语言造成错误也会发生
举个很流行的题目当例子
假设有八张扑克
分别是
黑桃1,2
红心2,3
方块1,2
梅花4,5
今天随机抽出一张,假设两人一开始都不知道是什麽
然後告诉甲花色,告诉乙数字
假设这张牌是黑桃2
甲听到黑桃,他当然不知道是什麽牌,他也知道乙不知道是什麽牌
所以他就说: 如果我不知道是什麽牌,你也不知道是什麽牌.
这单纯描述一个事实,令P=甲知道,Q=乙知道
if ~p, then ~q 这个没什麽问题
然後乙得到的是2
听了甲的话以後想: 逻辑中这式等价於 if q, then p
也就是如果我知道,那甲就会知道
因此甲手上的花色是如果我知道了他就会知道的花色
符合这个条件的只有红心
所以乙就说:"我知道了!是红心2!"
==
再来看原PO的问题 凭什麽"月球是乾酪作的"是真的,"罗马在俄国"也会是真的?
原iff叙述单纯只是描述目前的状态,而目前这两件事都是假的,因此你说的情形不会出现
不需要去假想当月球变成乾酪作的情形
当然也许有个平行世界月球是乾酪作的?
我记得这部份是有更进阶的逻辑描述方式的
时隔久远有点忘了
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.109.22.209
※ 编辑: teves 来自: 140.109.22.209 (03/12 11:57)
※ 编辑: teves 来自: 140.109.22.209 (03/12 13:09)
※ 编辑: teves 来自: 140.109.22.209 (03/12 13:12)
※ 编辑: teves 来自: 140.109.22.209 (03/12 13:12)
1F：推 ksmrt0123:一开始甲说出 (if ~p, then ~q) 的话就错了... 03/12 22:13
2F：→ ksmrt0123:甲当时只知道 ~p Λ ~q 03/12 22:14
3F：→ teves:啊? ~p and ~q 不就implies ~p->~q 了吗 03/12 23:46
4F：推 ksmrt0123:---------------------------------------------------- 03/13 02:10
5F：→ ksmrt0123:嗯, 抱歉, 甲说(if ~p, then ~q)的话没有错 03/13 02:12
6F：推 ksmrt0123:hmm... hmm... hmm... 03/13 02:22
7F：→ teves:喔忘了説一点,甲乙一开始知道有哪八张扑克 03/13 10:33