Rule of Explosion

From ProofWiki
Jump to navigation Jump to search

Proof Rule

The rule of explosion is a valid argument in certain types of logic dealing with contradiction $\bot$.

This includes classical propositional logic and predicate logic, and in particular natural deduction, but for example not Johansson's minimal logic.


Proof Rule

If a contradiction can be concluded, it is possible to infer any statement $\phi$.


Sequent Form

$\bot \vdash \phi$


Explanation

The Rule of Explosion can be expressed in natural language as:

If you can prove a contradiction, you can prove anything.


Compare this with the colloquial expression:

"If England win the World Cup this year, then I'm a kangaroo."

The assumption is that the concept of England winning the world cup is an inherent contradiction (it being taken worldwide as a self-evident truth that England will never win the World Cup again). Therefore, if England does win the World Cup this year, then this would imply a falsehood as the author of this page is certainly human.


This rule is denied validity in the system of Johansson's minimal logic.


Variants

The following can be used as variants of this theorem:

Variant 1

$\vdash p \implies \paren {\neg p \implies q}$

Variant 2

$\vdash \paren {p \land \neg p} \implies q$

Variant 3

$p, \neg p \vdash q$


Also known as

The Rule of Explosion is also known as the rule of bottom-elimination.

Those who fancy Latin may like ex falso (sequitur) quodlibet, which literally means from a falsehood (follows) whatever you like.


Also see