Definition:Set of Truth Values

From ProofWiki
Jump to navigation Jump to search


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:

True False
$T$ $F$
$0$ $1$
$\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