Representation of Values
As with bivalent logic, truth values in ternary logic may be represented numerically using various representations of the ternary numeral system. A few of the more common examples are:
- 1 for true, 2 for false, and 0 for unknown, unknowable/undecidable, irrelevant, or both.
- 0 for false, 1 for true, and a third non-integer symbol such as # or ½ for the final value, also known as "maybe".
- Balanced ternary uses −1 for false, +1 for true and 0 for the third value; these values may also be simplified to −, +, and 0, respectively.
This article mainly illustrates a system of ternary propositional logic using the truth values {false, unknown, and true}, and extends conventional boolean connectives to a trivalent context. Ternary predicate logics exist as well; these may have readings of the quantifier different from classical (binary) predicate logic, and may include alternative quantifiers as well.
Read more about this topic: Three-valued Logic
Famous quotes containing the words representation of and/or values:
“The past is interesting not only for the beauty which the artists for whom it was the present were able to extract from it, but also as past, for its historical value. The same goes for the present. The pleasure which we derive from the representation of the present is due not only to the beauty in which it may be clothed, but also from its essential quality of being present.”
—Charles Baudelaire (1821–1867)
“Postmodernity is the simultaneity of the destruction of earlier values and their reconstruction. It is renovation within ruination.”
—Jean Baudrillard (b. 1929)