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 $\vee$ or sometimes $+$ when taken in algebraic context. Hence, disjunction of $a$ and $b$ would be written

$$a\vee b$$

or

$$a+b$$

The truth table for disjunction is

$a$	$b$	$a\vee 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