Example of Interpretation

Let W = (forall x) (P(a) & Q(x, a) )

An interpretation for W:

D = { apple, peach }

{ a = apple } mapping for constants

{ } mappings for functions

{ P(apple) = T, P(peach) = T; mappings for predicates

Q(apple,apple) = T, Q(apple, peach) = T,

Q(peach,apple) = T, Q(peach, peach) = T }