Search the lexicon


Truth value

SEMANTICS: the property that is assigned to sentences (or propositions or formulas) in truth-conditional semantics. A sentence can be true (also 1 or T) or false (also 0 or F) in a two-valued logic, but there are more truth-values in more-valued logics. Truth conditions (or truth definitions) specify in which circumstances a proposition is true, relative to a model, i.e., an assignment of values (a valuation) to the basic expressions that constitute the proposition.
LIT. Gamut, L.T.F. (1991)