A disjunction is true if either of its parameters (called disjuncts) are true. Disjunction does not correspond to ``or'' in English (see exclusive or.) Disjunction uses the symbol $\lor$ or sometimes $+$ when taken in algebraic context. Hence, disjunction of $a$ and $b$ would be written $$ a \lor b $$ or $$ a + b $$ The truth table for disjunction is
This is version 9 of disjunction, born on 2001-10-26, modified 2005-02-28.
Object id is 536, canonical name is Disjunction.
Accessed 11039 times total.
