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

Logic: A → proposition if its → denial is self-contradictory. Also called "logical truth" and "non-contingent truth."

→ necessary; → truth.

A → truth value in → fuzzy logic where it can range between "completely true" and "completely false."

→ partial; → truth.

1) The quality of being true, genuine, actual, or factual.
2) Something that is → true as opposed to → false.
3) Logic: The correct corresponding of a → proposition with a → fact. See also → truth value, → partial truth.

M.E. treuthe; O.E. trêowth "faith, faithfulness, fidelity; quality of being true," from triewe, treowe "faithful," → tue, with suffix *-itho-th.

Noun from râstin, → true, + noun suffix -i.

A → total function from → truth values to truth values (a sequence of truth values).

→ truth; → function.

A table with columns and rows that lists the resultant → truth value of the given → sentences for each of the possible combinations of truth values to the simple sentences out of which the given sentences are constructed.

→ truth; → value.

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.