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

Not-Elimination
Given $p, \neg q$, we have contradiction ($\bot$).


 * align="right" | $k$ ||
 * align="right" | $I,J$
 * $\bot$
 * Rule of Not-Elimination: $\neg \mathcal E$
 * $i,j$
 * $i,j$