作者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/cn.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