爆炸原理

爆炸原理 （ principle of explosion, " from falsehood, anything ( follows ) " ） ， 是經典邏輯中陳述從矛盾中可以得出任何事物的規則 。 用更加形式化的術語 ， 從形如 P ∧ ¬ P 的命題可以推導出任何任意的 Q ( ex contradictione quodlibet ( ECQ ) ) 。 “ 爆炸 ” 指稱接受一個單一的矛盾到一個系統中會導致整體定理的 “ 爆炸 ” 。 除了矛盾平常的一目瞭然的不真實性之外 ， 這是對在形式系統中不允許 P ∧ ¬ P 爲真的主要邏輯論證: 在其中任何任意的公式都是定理的系統是瑣碎的 。 所以爆炸原理證明了無矛盾律的正當性 。