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

Or-Elimination
Given $p \lor q$, $p \vdash r$ and $q \vdash r$, we have also $r$.


 * align="right" | $l$ ||
 * align="right" | $I,J,K,$ but excluding $i,j$
 * $r$
 * Rule of Or-Elimination: $\lor \mathcal E$
 * $i .. i', j .. j', k$
 * $i .. i', j .. j', k$