Go backward to Operational Interpretation Go up to Top Go forward to Operational Interpretation

Variables and Assignments

Definition: Variable.

• A name that may represent any value of the domain.
• First-order: must not represent predicates or functions.

Definition: (Variable) assignment.

• A mapping of all variables to domain values.