爆炸原理
维基百科,自由的 encyclopedia
爆炸原理(principle of explosion, "from falsehood, anything (follows)"),是经典逻辑中实质条件陈述从矛盾中可以得出任何事物的规则。用更加形式化的术语,从形如 P ∧ ¬P 的命题可以推导出任何任意的 Q (ex contradictione quodlibet (ECQ))[1]。 “爆炸”指称接受一个单一的矛盾到一个系统中会导致整体定理的“爆炸”。
除了矛盾平常的一目了然的不真实性之外,这是对在形式系统中不允许 P ∧ ¬P 为真的主要逻辑论证: 在其中任何任意的公式都是定理的系统是琐碎的。所以爆炸原理证明了无矛盾律的正当性。