Rule of Explosion/Proof Rule

Proof Rule
The Rule of Explosion is a valid deduction sequent in propositional logic.

As a proof rule it is expressed in the form:
 * If a contradiction can be concluded, it is possible to infer any statement.

It can be written:
 * $\ds {\bot \over \phi} \bot_e$