# Definition:Set of Truth Values

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:

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.