User:Lord Farin/Tableau Proof Rules/Simplification

Simplification
Given $p \land q$, we have also $p$ and $q$.


 * align="right" | $j$ ||
 * align="right" | $I$
 * $p$
 * $\land \mathcal E_1$
 * $i$
 * align="right" | $k$ ||
 * align="right" | $I$
 * $q$
 * $\land \mathcal E_2$
 * $i$
 * $\land \mathcal E_2$
 * $i$