Encyclopedia > Truth-value

  Article Content

Truth value

Redirected from Truth-value

In logic, a truth value, or truth-value, is a value indicating to what extent a statement is true.

In classical logic, the only possible truth values are true and false. However, other values are possible in other logics. A simple intuitionistic logic has truth values of true, false, and unknown; fuzzy logic and other forms of multi-valued logic also use more truth values than simply true and false.

Algebraically, the set {true,false} forms a simple Boolean algebra. Other Boolean algebras may be used as sets of truth values in multi-valued logic, while intuitionistic logic generalises Boolean algebras to Heyting algebras[?].

In topos theory, the subobject classifier[?] of a topos takes the place of the set of truth values.

This nomenclature is perhaps more consonant with usages that prevail in mathematics than with those of philosophy.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Battle Creek, Michigan

... are 91.9 males. For every 100 females age 18 and over, there are 87.2 males. The median income for a household in the city is $35,491, and the median income for ...

 
 
 
This page was created in 24.5 ms