# Disjunction

The logical operation of formation of the statement "A or B" from two statements $A$ and $B$. In formalized languages the disjunction of two statements $A$ and $B$ is denoted by $A\lor B$. The statements $A$ and $B$ are called the disjunctive terms of the statement $A\lor B$. The meaning of the disjunction can be expressed by the following truth table:

 $A$ $B$ $A\lor B$ $T$ $T$ $T$ $T$ $F$ $T$ $F$ $T$ $T$ $F$ $F$ $F$
How to Cite This Entry:
Disjunction. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Disjunction&oldid=32851
This article was adapted from an original article by V.E. Plisko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article