Assignment (mathematical logic)

The article is about assignment in mathematical logic; for other uses, see AssignmentAssignment can be regarded as an auxiliary notion, an important step in a specific way for defining the concept of truth formally (e.g. for first-order theories). It enables us to give meanings to terms (truth to sentences) of a language which deals with (free) variables.Technically, in most cases it is a function from a set of variables to the possible values they can take on .
See more at Wikipedia.org...