Conjunction introduction is a valid rule of inference of propositional logic. The rule makes it possible to introduce a conjunction into a logical proof. It is the inference that if the proposition is true, and the proposition is true, then the... Wikipedia