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:
“Acting is the physical representation of a mental picture and the projection of an emotional concept.”
—Laurette Taylor (1887–1946)
“What we often take to be family values—the work ethic, honesty, clean living, marital fidelity, and individual responsibility—are in fact social, religious, or cultural values. To be sure, these values are transmitted by parents to their children and are familial in that sense. They do not, however, originate within the family. It is the value of close relationships with other family members, and the importance of these bonds relative to other needs.”
—David Elkind (20th century)