Re: [討論] 最難的邏輯題

看板logic作者 (teves)時間15年前 (2009/03/12 11:56), 編輯推噓3(3推 0噓 4→)
留言7則, 2人參與, 最新討論串6/13 (看更多)
※ 引述《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)
推
03/12 22:13, , 1F
一開始甲說出 (if ~p, then ~q) 的話就錯了...
03/12 22:13, 1F
→
03/12 22:14, , 2F
甲當時只知道 ~p Λ ~q
03/12 22:14, 2F
→
03/12 23:46, , 3F
啊? ~p and ~q 不就implies ~p->~q 了嗎
03/12 23:46, 3F
推
03/13 02:10, , 4F
----------------------------------------------------
03/13 02:10, 4F
→
03/13 02:12, , 5F
嗯, 抱歉, 甲說(if ~p, then ~q)的話沒有錯
03/13 02:12, 5F
推
03/13 02:22, , 6F
hmm... hmm... hmm...
03/13 02:22, 6F
→
03/13 10:33, , 7F
喔忘了説一點,甲乙一開始知道有哪八張撲克
03/13 10:33, 7F
‣ 更多 teves 的文章
文章代碼(AID): #19k8VYue (logic)
討論串 (同標題文章)
本文引述了以下文章的的內容：
以下文章回應了本文：
完整討論串 (本文為第 6 之 13 篇)：
排序： 最舊先 | 最新先 | 留言數
在新視窗開啟完整討論串 (共13篇)
‣ 更多 teves 的文章
文章代碼(AID): #19k8VYue (logic)