3 Mar 2004
CS 3243 - Chapter 8
8
Truth in first-order logic
nSentences are true with respect to a model and an interpretation
nModel contains objects (domain
elements) and relations among them
nInterpretation specifies referents for
constant symbols → objects
predicate symbols → relations
function symbols → functional relations
nAn atomic sentence predicate(term1,...,termn) is true
iff the objects referred to by term1,...,termn
are in the relation referred to by predicate