Rule of Explosion

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

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

Also see

 * False Statement implies Every Statement