An Etymological Dictionary of Astronomy and Astrophysics

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.

See also: → dis-; → junction.