冷知识典藏馆 · The Cold Almanac
科学 · 约 1 分钟

逻辑学中,一个矛盾可以推导出任何命题

在经典逻辑中,从“P且非P”你能证明任何事。

维恩图示意逻辑矛盾,两个重叠圆分别标注P和非P,无交叉区域

到底是怎么回事

爆炸原理(ex falso quodlibet)是经典逻辑的一条法则:如果系统里同时存在一个命题及其否定,那么任何命题都可以被推导出来。因为“假”蕴含一切。

多知道一点

例如,从“天在下雨并且没下雨”出发,可以推出“我是教皇”。证明:由“天在下雨”得“天在下雨或我是教皇”;再由“天没下雨”和上述析取,推出“我是教皇”。

没想到吧

爆炸原理并非普遍适用,在某些非经典逻辑(如相干逻辑)中它被拒绝,因为这些逻辑要求前提与结论之间有实质关联。

返回全部馆藏