Formal Interpretations
An interpretation for a given formula W consists of the following:
A domain D of elements that can be referred to by terms. E.g., D = (0, 1, 2, . . . }
An assignment that maps each constant symbol of W to an element of D.
For each n-ary function symbol of W a mapping from n-tuples of elements of D to single elements of D.
For each n-ary predicate symbol of W a mapping from n-tuples of elements of D to {T, F}.