A syntactic object denoting an individual or constructed element of the domain of discourse, formed inductively from variables, constant symbols, and function symbols according to the grammar of the formal language.

Principle

Build terms by the inductive formation rules: every variable and constant is a term; if f is an n‑ary function symbol and t1,…,tn are terms then f(t1,…,tn) is a term; terms denote domain elements under an interpretation.

Demonstration

Given constant a, variable x, and binary function symbol g, the expression g(f(x,a),b) is a term; in a numeric interpretation it might denote the number obtained by applying g to the value of f at x and a and the constant b.

Misapplication

Using a term as if it had a truth value (for example asserting 'f(x) is true') or confusing terms with formulas; terms denote objects, not propositions, unless embedded in an atomic formula.

Consequence

Terms supply the referents that formulas predicate about; they can be substituted for variables, evaluated under assignments, and used to construct more complex syntactic and semantic expressions.

Reversal

Predicates or sentences are the reversal: syntactic constructs that do not denote domain elements but instead assert properties or relations; switching perspective treats objects as statements rather than denotations.

Boundary

A term is not assigned a truth value by itself and may not be meaningful without an interpretation or assignment; algebraic expressions, programs, or data structures may be syntactic terms only if the language provides appropriate function symbols.

Semantic Tension

Tension occurs between 'term' as a syntactic denotation and 'expression' in programming or algebra where evaluation may have side effects or types; logical terms are pure denotations absent side effects.

Synthesis

A term is an inductively formed syntactic expression built from variables, constants, and function symbols that denotes an element of the domain under interpretation and serves as the referent for predicates and substitution.