Conjunction introduction

In symbolic logic, a valid inference in a system of truth-functional rules. In a derivation, two statements can be inferred using the conjunction symbol, since a statement governed by the conjunction is true if, and only if, each of the conjuncts is true.