conjunction introduction
From A and B on separate lines, write A ∧ B.
Conjunction introduction (∧I) lets you write A ∧ B when A and B each appear on available earlier lines. The conjuncts appear in the order of the cited lines.
Examples
From 1 P and 2 Q, write 3 P ∧ Q (∧I 1, 2).
See also