\begin{definition}[Definition:Disjunction]
'''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$.
$p \lor q$ is voiced:
:'''$p$ or $q$'''
\end{definition}