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

看板logic作者 (asdinap)時間16年前 (2009/03/21 22:22), 編輯推噓0(005)
留言5則, 1人參與, 最新討論串12/13 (看更多)
※ 引述《hirabbitt (兔子)》之銘言: : : [月球是乾酪做的]已知是錯 [羅馬在俄國]已知是錯 : : 那麼 [只有羅馬在俄國 時 月球是乾酪做的] : 這樣翻會比較好一點? : [當羅馬在俄國時 月球是乾酪做的] 因為我看英文 iff = if, and only if 有only 所以我解讀成只有(只有當...) : : ["The moon is made of Gorgonzola iff Rome is in Russia" is true] : : 其中 iff = if, and only if : : 它運用這個邏輯去解題 一樣在三個問題中就解出來 : : 但是我認為這個邏輯根本不對 : : 我的看法 事實上羅馬不在俄國 就算羅馬在俄國 月球為何就是乾酪做的 : 已經確定前提為非的情況 : 沒有所謂的"就算" : f -> f 並不能導出 t -> t : 所以這句並沒有 : [若羅馬在俄國 月球就是乾酪做的] : 這樣的意思 : (但是有 [如果月球是乾酪做的 有可能 羅馬在俄國] 的意思) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 這句我欣然認同 因為你是用 [有可能] 而原文是用 is 不是用 may 或 probable 所以我認為它是肯定的 有必定之意 但是如果使用羅輯專用術語 iff 會使is的意含 是[有可能] 那麼原作者利用iff來解題的方法就解不開了 is一定要是必定之意 其解才說得通啊 (其解之第一問: Does da mean yes iff, you are True iff B is Random? 其推理用的 are is 都是必定的意思 ) : 這裡的"真"是指整句為真 : 不是指"讓後面為真" : (f -> f) is t { [前面為真 讓 後面為真] 是真 } 不就是 [前面為真] 讓 [後面為真]? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 59.104.121.35

03/23 06:59, , 1F
"有可能"會出現 因為那是"一定是"的否命題
03/23 06:59, 1F

03/23 06:59, , 2F
我那句是逆否
03/23 06:59, 2F

03/23 07:00, , 3F
最後一句 沒錯 但重點是當[前面為假]時
03/23 07:00, 3F

03/23 07:00, , 4F
後面會變得[不確定真假] 但整句還是真的
03/23 07:00, 4F

03/23 07:01, , 5F
(f->f) is t (f->t) is t 這樣
03/23 07:01, 5F
文章代碼(AID): #19nFWvbo (logic)
討論串 (同標題文章)
文章代碼(AID): #19nFWvbo (logic)