Disjunction

From Encyclopediaofmath

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$


Download as ZWI file | Last modified: 01/11/2026 04:27:45 | 18 views
☰ Source: https://encyclopediaofmath.org/wiki/Disjunction | License: CC BY-SA 3.0

ZWI is not signed. [what is this?]