作者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