Go backward to Natural Language Atomic FormulasGo up to TopGo forward to Example |

*Definition:*
The *meaning* of an atomic formula
*pc*(`t`_{0}, ..., `t`_{n-1})
under an assignment `a`

- The truth value of the
predicate denoted by the predicate constant
*pc*for the values of the terms`t`_{i}under the given assignment.- Determine values of the terms
`t`_{i}under`a`. - Determine predicate
`p`denoted by constant`pc`. - Apply
`p`to values and get truth value.

- Determine values of the terms

Author: Wolfgang Schreiner

Last Modification: October 6, 1999