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