trevärdessystem
A trevärdessystem, or three-valued logic system, is a logical system that extends classical two-valued logic (true and false) by introducing a third truth value. This third value can represent various concepts depending on the specific system, but commonly it signifies uncertainty, irrelevance, or undefinedness.
The most well-known example of a three-valued logic is Kleene's three-valued logic, often denoted as K3. In
Three-valued logic systems have found applications in various fields, including computer science, artificial intelligence, and philosophy.