User:Lord Farin/Tableau Proof Rules/Bottom-Elimination
Jump to navigation
Jump to search
Explosion
Given $\bot$, we have any $p$.
Line | Pool | Formula | Rule | Depends upon | Notes | |
---|---|---|---|---|---|---|
$i$ | $I$ | $\bot$ | ? | ? | ||
$j$ | $I$ | $p$ | Rule of Explosion: $\bot \mathcal E$ | $i$ |
Wiki code
|- | align="right" | $j$ || | align="right" | $I$ | $p$ | [[Rule of Explosion|Rule of Explosion: $\bot \mathcal E$]] | $i$