Go backward to Function ConstantsGo up to TopGo forward to Natural Language Terms |

*Proposition:*

- Every variable is a term.
- If
*fc*is a function constant of arity`n`and`t`_{0}, ...,`t`_{n-1}are terms,*fc*(`t`_{0}, ...,`t`_{n-1})*elementary term*or*function application*.

*Example:*

- 0, "Wolfgang Schreiner", pi (constant terms);
- sqrt(2), sin(
`x`), sum(2,`s`), "the mother of Thomas" (prefix terms); - |1|,
`a`o`b`,`a`[`i`], 1+2 (infix terms);

Author: Wolfgang Schreiner

Last Modification: October 6, 1999