Conjunction introduction

Rules of inference
Propositional calculus
Modus ponens Modus tollens Modus ponendo tollens Conjunction introduction Simplification Disjunction introduction Disjunction elimination Disjunctive syllogism Hypothetical syllogism Constructive dilemma Destructive dilemma Biconditional introduction Biconditional elimination
Predicate calculus
Universal generalization Universal instantiation Existential generalization Existential instantiation

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