disjunction
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 ∨ or sometimes + when taken in algebraic context. Hence, disjunction of a and b would be written
a∨b |
or
a+b |
The truth table for disjunction is
a | b | a∨b |
---|---|---|
F | F | F |
F | T | T |
T | F | T |
T | T | T |
Title | disjunction |
---|---|
Canonical name | Disjunction |
Date of creation | 2013-03-22 11:54:40 |
Last modified on | 2013-03-22 11:54:40 |
Owner | akrowne (2) |
Last modified by | akrowne (2) |
Numerical id | 14 |
Author | akrowne (2) |
Entry type | Definition |
Classification | msc 03B05 |
Synonym | logical or |
Synonym | disjunctive truth function |
Related topic | Conjunction![]() |
Related topic | PropositionalLogic |