作者xin1028 ()
看板logic
標題[請益] 蘊含與等值關係請教
時間Thu Jan 22 10:23:36 2015
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://webptt.com/m.aspx?n=bbs/logic/M.1421893419.A.CF6.html
1F:→ CatWalking: 你可以理解成 01/22 11:00
2F:→ CatWalking: 〈K → L〉→〈~L → ~K〉 01/22 11:03
3F:→ CatWalking: 〈~L → ~K〉→〈K → L〉 01/22 11:04
4F:→ CatWalking: 〈K → L〉與〈~L → ~K〉相互蘊含即為等值 01/22 11:05
5F:→ rossignols: 說兩個句子等值,我們就知道它們也互相蘊含了。所以不 01/22 15:22
6F:→ rossignols: 用再特地強調它們有蘊含關係。 01/22 15:23
7F:→ xin1028: 對齁!!太感謝了!!謝謝熱心版友的幫忙! 01/22 19:34