Go backward to Natural Language Terms Go up to Top Go forward to Examples

Semantics of Terms

Definition: The meaning of a term t under an assignment a is:

• If t is a variable, then its meaning is the value to which the variable is mapped by the assignment.
• If t is an elementary term fc(t₀, ..., t_n-1) then its meaning is the result of the application of the function f denoted by the function constant fc to the values of the terms t_i for the given assignment.
  1. Determine values of the terms t_i under a.
  2. Determine function f denoted by constant fc.
  3. Apply f to values and get domain value.