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

Bottom-Elimination
Given $\bot$, we have any $p$.


 * align="right" | $j$ ||
 * align="right" | $I$
 * $p$
 * $\bot \mathcal E$
 * $i$
 * $i$