Definition
Introduction Inference Rule
An introduction inference rule is an inference rule that specifies how to establish a formula with a given logical connective or quantifier as its outermost operator. Depending on the calculus, it may be primitive or derived; the name describes its role, not its status.
For conjunction in natural deduction: