Rule of Explosion/Proof Rule/Tableau Form

Proof Rule
Let $\phi$ be a propositional formula.

The Rule of Bottom-Elimination is invoked in the following manner: