Disjunction
From Encyclopedia of Mathematics - Reading time: 1 min
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) | Licensed under CC BY-SA 3.0. Source: https://encyclopediaofmath.org/wiki/Disjunction6 views | ↧ Download this article as ZWI file
EncycloReader
is supported by the 
KSF