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

[xin1028 ()]

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
→ CatWalking: 你可以理解成
→ CatWalking: 〈K → L〉→〈~L → ~K〉
→ CatWalking: 〈~L → ~K〉→〈K → L〉
→ CatWalking: 〈K → L〉與〈~L → ~K〉相互蘊含即為等值
→ rossignols: 說兩個句子等值，我們就知道它們也互相蘊含了。所以不
→ rossignols: 用再特地強調它們有蘊含關係。
→ xin1028: 對齁!!太感謝了!!謝謝熱心版友的幫忙!