Fr.: valeur de vérité
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.).