Conjunction introduction

From open-encyclopedia.com - the free 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>