Go backward to Function Constants Go up to Top Go forward to Natural Language Terms

Syntax of Terms

Proposition:

1. Every variable is a term.
2. If fc is a function constant of arity n and t₀, ..., t_n-1 are terms,

   fc(t₀, ..., t_n-1)

   is a term, called an 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);