Semantics of Atomic Formulas
The meaning of an atomic formula
pc(t0, ..., tn-1)
under an assignment a
- The truth value of the
predicate denoted by the predicate constant pc for the values of
the terms ti under the given assignment.
- Determine values of the terms ti under a.
- Determine predicate p denoted by constant pc.
- Apply p to values and get truth value.
Author: Wolfgang Schreiner
Last Modification: October 6, 1999