Search the lexicon

Found:

Assignment

SEMANTICS: the function which assigns a reference to a variable. The truth-value of quantified formulas is determined with respect to a given assignment. EXAMPLE: in order to determine whether All(v)[P] is true with respect to an assignment g we have to check whether P is true for every assignment g' differing at most from g in the value it assigns to v. Exists(v)[P] is true with respect to an assignment g when P is true for at least one assignment g' which may only differ from g in the value it assigns to v. The use of assignments to variables makes it possible to interpret multiply quantified formulas in a compositional way.
LIT. Gamut, L.T.F. (1991)