Conjunction introduction (∧-introduction)

Layer 0 — Mathematicsin the logic subtree

From two separately-established premises, the conjunction may be inferred. Also called 'adjunction'.