Rule of Conjunction
- If we can conclude both $\phi$ and $\psi$, we may infer the compound statement $\phi \land \psi$.
- $p, q \vdash p \land q$
- If we can show that two statements are true, then we may build a compound statement expressing this fact, and be certain that this is also true.
The Rule of Conjunction can also be referred to as:
- the rule of and-introduction
- the rule of adjunction.