逻辑学中,一个矛盾可以推导出任何命题
在经典逻辑中,从“P且非P”你能证明任何事。
到底是怎么回事
爆炸原理(ex falso quodlibet)是经典逻辑的一条法则:如果系统里同时存在一个命题及其否定,那么任何命题都可以被推导出来。因为“假”蕴含一切。
多知道一点
例如,从“天在下雨并且没下雨”出发,可以推出“我是教皇”。证明:由“天在下雨”得“天在下雨或我是教皇”;再由“天没下雨”和上述析取,推出“我是教皇”。
没想到吧
爆炸原理并非普遍适用,在某些非经典逻辑(如相干逻辑)中它被拒绝,因为这些逻辑要求前提与结论之间有实质关联。