Rule of Conjunction
Jump to navigation Jump to search
- If we can conclude both $\phi$ and $\psi$, we may infer the compound statement $\phi \land \psi$.
|\(\ds p\)||\(\)||\(\ds \)|
|\(\ds q\)||\(\)||\(\ds \)|
|\(\ds \vdash \ \ \)||\(\ds p \land q\)||\(\)||\(\ds \)|
- 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.