Conjunction introduction
From Free net encyclopedia
Conjunction introduction is the inference that, if p is true, and q is true, then the conjunction p and q is true.
For example, if it's true that it's raining, and it's true that I'm inside, then it's true that it's raining, and I'm inside.
Formally:
- <math>p\,\!</math>
- <math>\frac{q\,\!\qquad\quad}{}</math>
- ∴<math>( p \wedge q )</math>