爆炸原理

爆炸原理 ^[1]  拉丁文：ex contradictione quodlibet (ECQ)，用更加形式化的術語，從形如 P ∧ ¬P 的命題可以推導出任何任意的 Q。 “爆炸”指稱接受一個單一的矛盾到一個系統中會導致整體定理的“爆炸”。

除了矛盾平常的一目瞭然的不真實性之外，這是對在形式系統中不允許 P ∧ ¬P 為真的主要邏輯論證: 在其中任何任意的公式都是定理的系統是瑣碎的。所以爆炸原理證明了無矛盾律的正當性。

在一些非經典邏輯中，爆炸原理不成立。 比如， 次協調邏輯(Paraconsistent Logic) ^[1]  和雙面真理論(Dialetheism) ^[2]  都是爆炸原理不成立的非經典邏輯系統。