Next: General First Order Languages
Up: Predicates and Functions Together
Previous: Predicates and Functions Together
- Description of Symbols
- Rules for the formation of Terms
- The names 0 and 1 are terms
- If t1 and t2 are terms, then (t1 + t2) is
a term and (t1
t2) are terms
Example of an atomic
sentence:
Mike Rosner
Fri Oct 16 16:23:40 MET DST 1998