Definition:Set of Truth Values

Definition
The set of truth values of propositional logic is the $2$-element set:


 * $\Bbb B = \set {\T, \F}$

of (Aristotelian) truth values.

Also denoted as
The symbology for true and false is often one of the rows of the following table:


 * {| class="wikitable" style="text-align: center;"

! True !! False
 * $\T$ || $\F$
 * $1$ || $0$
 * $\top$ || $\bot$
 * $\mathbf{true}$ || $\mathbf{false}$
 * }
 * $\top$ || $\bot$
 * $\mathbf{true}$ || $\mathbf{false}$
 * }
 * }

or a typographical variant thereof.

Also known as
Some speak of a Boolean domain in this context, alluding to the similarity to the boolean true/false data type in many programming languages.

Also see

 * Definition:Truth Function