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 both $p$ and $q$ are true.

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

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

Also see

 * Definition:Subcontrary Statements


 * Definition:Exclusive Or