Conjunction introduction

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: 

 p\,\!
 \frac{q\,\!\qquad\quad}{}
 ∴( p \wedge q )

This article is licensed under the GNU Free Documentation License. It uses material from Wikipedia article. Browse Wikipedia for more information.