[Day 28]老师我学逻辑推论做什麽(3)

今天来说说「命题」
命题是指「可以被判断对错的一个叙述」
另外还有否命题、逆命题、否逆命题

原命题：我有女朋友，记为 我 有女友
否命题：不是我没女朋友，记为 不是我 没有女友
逆命题：有女朋友的是我，记为 有女友 我
否逆命题： 没有女朋友的不是我，记为 没有女友 不是我

如果两个命题所描述的真假关系相同则称为等价
例如 「我有女朋友」 等价於 「没有女朋友的不是我」
所以「否逆命题」与「原命题」等价

很多人初学时常常会犯的错误就是
把「原命题」和「否命题」当作等价

其实把「否逆命题」想像成一种逆向思考的感觉
最近看了「天能」，里面的「逆行」就跟这个很像
由於是反着走，所以全部因果关系颠倒且命题前面都会加上 "not"

举个很久以前的笑话当例子

A：什麽是逻辑推论
B：我来做个示范，你有养宠物吗
A：有
B：因为你有养宠物，所以我推论你很有爱心
A：的确
B：既然你很有爱心，所以我推论有异性喜欢你
A：没错!!
B：这就是逻辑推论，我还有事先离开了
C：他刚刚说了什麽
A：他跟我介绍了逻辑推论，我来做个示范，你有养宠物吗
C：没有
A：那就说明了，没!有!异!性!喜!欢!你!

这个正确的流程是
有养宠物 → 有爱心 → 有异性喜欢

如果正确的「逆行」应该是
「没」有异性喜欢 → 「没」有爱心 → 「没」有养宠物
所以如果 A 去看天能应该会时空逻辑错乱看不懂吧~XD

36：所以反证法就是这唷？

RN：对呀，他就是「反」着「证」明呀
　　所以如果「顺行」是 OK 的
　　那「逆行」应该就能回到源头
　　就像天能一样!!