User:Lord Farin/Tableau Proof Rules/Bottom-Elimination

Explosion
Given $\bot$, we have any $p$.


 * align="right" | $j$ ||
 * align="right" | $I$
 * $p$
 * Rule of Explosion: $\bot \mathcal E$
 * $i$
 * $i$