An Etymological Dictionary of Astronomy and Astrophysics

The quality of a logical → proposition (or a formal → symbol) which describes the relation of a proposition to → truth. The traditional → formal logic
admits only two contradictory values, → true or → false. In → symbolic logic, more specifically in → polyvalent logics, other truth values are used (such as possible, impossible, undetermined, probable, random, etc.).

See also: → truth; → value.