【科普】太阳从西方升起

迎关注我的专栏( つ•̀ω•́)つ【人工智能通识】
2019年6月专题

---

如何证明太阳从西方升起？

首先我们设定：

命题A=太阳从西方升起

然后设定：

命题M=命题A or 命题B

最后设定：

命题B=（命题M=假）

汇总就是：

M=A or (M=False)，B=(M=False)

好了，我们来分析M是真还是假：

如果M=False，那么命题B就是真的，但由于or表示或者，即A和B两者只要一个为真，那么整体结果就是真，所以B为真则M也应为真，这和M=False矛盾，所以M不可能为假。

所以必然有M=True。既然M是真的，那么B=(M=False)就不能成立，即B必须为假。由于or连接A和B得到结论M为真，而现在B只能是假的，那么A就一定是真的。

结论是A必须为真。

还记得A是什么吗？所以太阳一定是从西方升起的。

当然你马上看出A可以是任何命题，利用M=A or (M=False)都可以获得证明。

另外一个版本可以证明任何命题是错误的，它的形式如：M=A and (M=False)，具体过程读者可以自己尝试推理。

当然这是一种诡辩术，利用了语言逻辑在循环自指时候产生的悖论，也暴露了我们人类语言逻辑体系的不完备性。

---

每个人的智能新时代

如果您发现文章错误，请不吝留言指正；
如果您觉得有用，请点喜欢；
如果您觉得很有用，欢迎转载~

---

END