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.