[請益] 蘊含與等值關係請教

看板logic作者時間9年前 (2015/01/22 10:23), 編輯推噓0(007)
留言7則, 3人參與, 最新討論串1/1
as title 想請問蘊含關係與等值關係是否有可能同時成立? 題目:判斷下列兩句式之間是蘊含還是等值關係 K->L;~L->~K 我的做法就是列出所有的真值表 K L K -> L ~L -> ~K T T T T T F T F T F T F F T F F F T F T T F T T F F F T F T T T 我覺得這兩句式既是蘊含關係也是等值Orz 但答案只給等值 不懂為何不能是蘊含關係? 中間加上"->" 四種狀況都是恆真句呀?! 不好意思,因為是初學者,問題相當基本Orz 也謝謝願意回答的版友!! -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.226.217.191 ※ 文章網址: https://www.ptt.cc/bbs/logic/M.1421893419.A.CF6.html

01/22 11:00, , 1F
你可以理解成
01/22 11:00, 1F

01/22 11:03, , 2F
〈K → L〉→〈~L → ~K〉
01/22 11:03, 2F

01/22 11:04, , 3F
〈~L → ~K〉→〈K → L〉
01/22 11:04, 3F

01/22 11:05, , 4F
〈K → L〉與〈~L → ~K〉相互蘊含即為等值
01/22 11:05, 4F

01/22 15:22, , 5F
說兩個句子等值,我們就知道它們也互相蘊含了。所以不
01/22 15:22, 5F

01/22 15:23, , 6F
用再特地強調它們有蘊含關係。
01/22 15:23, 6F

01/22 19:34, , 7F
對齁!!太感謝了!!謝謝熱心版友的幫忙!
01/22 19:34, 7F
文章代碼(AID): #1Km5yhps (logic)