爆炸原理 （principle of explosion, "from falsehood, anything (follows)"），是 ?典?? 中 實質條件 ?述? 矛盾 中可以得出任何事物的??。用更加形式化的??，?形如 P ∧ ¬ P 的 命? 可以推?出任何任意的 Q (ex contradictione quodlibet (ECQ)) ^[1] 。 “爆炸”指?接受一??一的矛盾到一?系?中??致整?定理的“爆炸”。

${\displaystyle (P\land \lnot P)\rightarrow Q}$

除了矛盾平常的一目了然的不??性之外，?是?在形式系?中不允? P ∧ ¬ P ??的主要????: 在其中任何任意的 公式 都是 定理 的系?是 ?碎的 。所以爆炸原理?明了 无矛盾律 的正?性。

?明 [ ?? ]

爆炸基于 析取 就是??于英?的“或”的??算子的一些基本形式性?。考?下列?明：

步?	命?	推?
1	${\displaystyle P}$	假定
2	${\displaystyle \neg P}$	假定
3	${\displaystyle P\lor Q}$	析取介入 （ 英? ： Disjunction introduction ） (1)
4	${\displaystyle Q}$	?言三段? (3,2)

以 說?者悖論 例子：

次???? 拒?上述推理，通常??要?析取介入要??言三段?是无效的。一?特定的次???? ?面?理 ，?了接受 P ∧ ¬ P 的特定?例而拒?????。

?? [ ?? ]

• 推理??
• 命???
• 自然演?

?是一篇與 ??? 相關的 小作品 。?可以通? ??或修? ?充其?容。 ? ? ?

?源 [ ?? ]