User:Lord Farin/Tableau Proof Rules/Conjunction

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


 * align="right" | $k$ ||
 * align="right" | $I,J$
 * $p \land q$
 * $\land \mathcal I$
 * $i,j$
 * align="right" | $l$ ||
 * align="right" | $I,J$
 * $q \land p$
 * $\land \mathcal I$
 * $i,j$
 * $\land \mathcal I$
 * $i,j$