迎关注我的专栏( つ•̀ω•́)つ【人工智能通识】
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
网友评论