Definition:Disjunction

Definition
Disjunction is a binary connective written symbolically as $p \lor q$ whose behaviour is as follows:


 * $p \lor q$

is defined as:
 * Either $p$ is true or $q$ is true or possibly both.

This is called the disjunction of $p$ and $q$.

The statements $p$ and $q$ are known as the disjuncts.

$p \lor q$ is voiced:
 * $p$ or $q$

Complement
The complement of $\lor$ is the NOR operator.

Truth Function
The disjunction connective defines the truth function $f^\lor$ as follows:

Notational Variants
Various symbols are encountered that denote the concept of disjunction:

Also known as
The symbol $\lor$ comes from the first letter of the Classical Latin vel.

This usage of or, that allows the case where both disjuncts are true, is called inclusive or, or the inclusive disjunction.

$p \lor q$ is also called the logical alternation of $p$ and $q$.

Also see

 * Exclusive Or