\begin{definition}[Definition:Set of Truth Values]
The '''set of truth values''' of propositional logic is the $2$-element set:
:$\Bbb B = \set {\T, \F}$
of (Aristotelian) truth values.
\end{definition}