Rule of Explosion

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.

Variants
The following can be used as variants of this theorem:

Also see

 * Definition:Contradiction


 * False Statement implies Every Statement