 Conjunction introduction rule

From derivations of $A$ and $B$ under the current assumptions, infer $A\wedge B$.