made with Mathematica technology MathWorld

Disjunction

The term in logic used to describe the operation commonly known as OR. A literal is considered a (degenerate) disjunction (Mendelson 1997, p. 30).

SEE ALSO: Conjunction, Disjunctive Normal Form, Disjunctive Syllogism, OR

REFERENCES:

Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.




CITE THIS AS:

Weisstein, Eric W. "Disjunction." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/Disjunction.html

The Wolfram Demonstrations Project Browse Topics View Latest
JUST RELEASED: Wolfram Mathematica 7