Addition (∨-introduction)

Layer 0 — Mathematicsin the logic subtree

From p alone, p ∨ q may be inferred for any proposition q. Also called 'disjunction introduction'.