Interpretation

An assignment of meanings to the nonlogical symbols (constants, function symbols, predicate symbols) of a formal language together with a domain (universe) of discourse; the assignment determines which formulas of the language are true, false, or indeterminate relative to that assignment.