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 = \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:

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