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

From ProofWiki
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$