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$