\begin{definition}[Definition:Conjunction]
'''Conjunction''' is a binary connective written symbolically as $p \land q$ whose behaviour is as follows:
:$p \land q$
is defined as:
:'''$p$ is true ''and'' $q$ is true.'''
This is called the '''conjunction''' of $p$ and $q$.
$p \land q$ is voiced:
:'''$p$ and $q$'''.
\end{definition}