Variable Assignment



next up previous
Next: Semantic Value Up: Semantics Previous: Interpretation

Variable Assignment

A variable assignment is a function that (1) maps individual variables into objects in a universe of discourse and (2) maps sequence variables into finite sequences of objects.

The notion of a variable assignment is important in defining the meaning of quantified terms and sentences and is discussed further below.



Vishal I. Sikka
Wed Dec 7 13:23:42 PST 1994