Rule of Explosion/Proof Rule/Tableau Form

Proof Rule
Let $\phi$ be a statement form.

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