User:Lord Farin/Tableau Proof Rules/Modus Ponens

Modus Ponendo Ponens
Given statements $p$ and $p \implies q$, we also have $q$.


 * align="right" | $k$ ||
 * align="right" | $I,J$
 * $q$
 * Modus Ponendo Ponens: $\implies \mathcal E$
 * $i,j$
 * $i,j$