An Etymological Dictionary of Astronomy and Astrophysics
English-French-Persian

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.).

→ truth; → value.