Disjunction (original) (raw)
Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics Foundations of Mathematics Geometry History and Terminology Number Theory Probability and Statistics Recreational Mathematics Topology
Alphabetical Index New in MathWorld
The term in logic used to describe the operation commonly known as OR. A literal is considered a (degenerate) disjunction (Mendelson 1997, p. 30).
The Wolfram Language command Disjunction[_expr_,
a1, a2, ...
] gives the disjunction of expr over all choices of the Boolean variables 
.
See also
Conjunction, Disjunctive Normal Form, Disjunctive Syllogism,OR
Explore with Wolfram|Alpha
References
Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.
Referenced on Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Disjunction." FromMathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Disjunction.html