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 and would be written
or
The truth table for disjunction is
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 |