Conjunction Introduction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A rule of inference that permits forming the conjunction A ∧ B when both A and B have been established separately.