A Term is either an individual constant (a 0-ary function), or a variable, or an n-ary function applied to n terms: F(t1 t2 ..tn).

Question

Quizplus · Accepted Answer

In formal logic and computer science, a term is defined precisely in this way. It can be an individual constant, a variable, or an n-ary function applied to n terms, where the function takes n arguments (terms) and the notation F(t1, t2, ..., tn) represents a function F applied to terms t1 through tn.

A Term Is Either an Individual Constant (A 0-Ary Function)