Definition:Set of Truth Values

From ProofWiki
(Redirected from Definition:Boolean Domain)
Jump to navigation Jump to search

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:

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

or a typographical variant thereof.


Also known as

Some sources refer to this as a Boolean domain in this context, alluding to the similarity to the boolean true/false data type in many programming languages.

The name Boolean here is for George Boole, the pioneer of what is often referred to as Boolean algebra.


Also see