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.