 Conjunction introduction

Conjunction introduction (often abbreviated simply as conjunction and also called and introduction) is a valid rule of inference of propositional logic.The rule makes it possible to introduce a conjunction into a logical proof.