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:
“All great amusements are dangerous to the Christian life; but among all those which the world has invented there is none more to be feared than the theater. It is a representation of the passions so natural and so delicate that it excites them and gives birth to them in our hearts, and, above all, to that of love.”
—Blaise Pascal (1623–1662)
“Our culture is ill-equipped to assert the bourgeois values which would be the salvation of the under-class, because we have lost those values ourselves.”
—Norman Podhoretz (b. 1930)