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 )$