Truth in first-order logic
		n Sentences are true with respect to a model and an interpretation n Model contains objects (domain elements) and relations among them n Interpretation specifies referents for constant symbols    →    objects predicate symbols    →    relations function symbols    →   functional relations n An atomic sentence predicate(term1,...,termn) is true    iff the objects referred to by term1,...,termn    are in the relation referred to by predicate