A → proposition of the form "A or B"
(A ∨ B), where
A and B are themselves propositions. A disjunction is
→ true when one or the other of its components
(called → disjuncts) is true, and false otherwise.
→ dis-; → junction.