如果“我爱你”是真名题的话，那么它的逆否命题。。。

果壳笑点低：
朋友问我，如果“我爱你”是真名题的话，那么它的逆否命题“你不爱我”也是真命题？


然后各种逻辑帝就出现了：
2l：如果“我爱你”是命题，那它是一个简单命题p
所谓逆否命题，都是针对符合命题（若p则q）而言的

简而言之，“你不爱我”不是“我爱你”的逆否命题
-------------------------------------------------------
5l：简单，先把“我爱你”转换成“如果……那么……”的形式：

如果我爱一个人，那么这个人一定是你。

而它的逆否命题是：

如果一个人不是你，那么我一定不爱这个人。
-------------------------------------------------------
9l：（和5l是同一个人）好吧自我吐槽（自己不吐别人也会发现的）：其实上面那个转化是有问题的。“我爱你”这个描述本身并没有排他性（也就是说我可能在爱你的同时也爱其他人），但“如果我爱一个人，那么这个人一定是你”是有排他性的，这句话其实等价的是“我只爱你”。
-------------------------------------------------------
39l：嗯，没错，命题必须是判断的语义。
那么把“我爱你”修改成有判断语义的命题，就会出现两种：
1.若是我，则爱你。
2.若是我爱，则是你。

首先分析1句：
原：若是我，则爱你。
逆：若爱你，则是我。
否：若不是我，则不爱你。
逆否：若不爱你，则不是我。

然后是2句：
原：若我爱，则是你。
这句命题实际上又有两种表达：
①若我爱，则只能是你（就是@小耿 表达的“我只爱你”）
②若我爱，则一定有你（我爱你，但并不唯一）

那么看①句：
原：（等价于）若是我，则只爱你
否：若不是我，则不只爱你
逆：若只爱你一人，则是我
逆否：若不单只爱你一人，则不是我。

再看②句：
原：若我爱了，则被爱的人中一定会有你。
逆：若被爱的人中有你，就是我爱的。
否：若我不爱，则被爱的人中没有你。
逆否：如果被爱的人中没有你，那就不是我爱的。

呐，综上所述，是主体的问题。一个是以“爱你”为主，一个是以“我爱”为主。所以，即便是“我爱你”的问题，也没有爱到不分彼此，那么，你快乐不如我快乐咯！
（个人认为这个版本最清晰）
------------------------------------------------54l：说“我不爱你”的都是没有学好离散数学的。命题的定义是：能判断真假但不能既真又假的陈述句，所以“我爱你”是一个命题。其次因为“我爱你”是简单命题，仅仅是p，而逆否命题（或者叫“假言逆位”）需要“若p则q”（p->q）的复合命题，离散数学中称为“蕴涵式”。要找它的“逆否命题要把它变成蕴涵式，就是“如果那个人是我，则那个人爱你。”，你否命题就是“如果那个人不爱你，则那个人不是我。”



原帖 http://www.guokr.com/post/73806/

真学术。。这是把我爱你也要毁掉么，校内上各种美好桥段然后忽然一道题。。

无他，唯蛋疼尔。。。

其实楼下的都好蛋疼… 用高中知识就能解决了嘛，原命题必须由条件和结论二部分构成，简而言之就是 if p then q 形式的命题才能有逆、否、逆否命题。

当时校内辩论赛，我们学院的辩手们就跟文科院系玩儿逻辑。比如对方辩友如果认为你们的论题对的话，请说出你们论题的逆否命题。。。于是就经常说成我方的辩题。。。