User:Lord Farin/Tableau Proof Rules/Conjunction
Jump to navigation
Jump to search
Conjunction
Given statements $p$ and $q$, we have also $p \land q$ and $q \land p$.
Line | Pool | Formula | Rule | Depends upon | Notes | |
---|---|---|---|---|---|---|
$i$ | $I$ | $p$ | ? | ? | ||
$j$ | $J$ | $q$ | ? | ? | ||
$k$ | $I,J$ | $p \land q$ | Rule of Conjunction | $i,j$ | ||
$l$ | $I,J$ | $q \land p$ | Rule of Conjunction | $i,j$ |
Wiki code
|- | align="right" | $k$ || | align="right" | $I,J$ | $p \land q$ | [[Rule of Conjunction]] | $i,j$ |- | align="right" | $l$ || | align="right" | $I,J$ | $q \land p$ | [[Rule of Conjunction]] | $i,j$