Definition:Set of Truth Values

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


 * $\Bbb B = \left\{{T, F}\right\}$

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$
 * $0$ || $1$
 * $\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