first-order-logic Definition Term (First-Order Logic) Let be a signature and a set of variables. The set of terms over is defined inductively: A function symbol of arity is a constant. Interpretation Under an interpretation , a term is evaluated to an element of the domain: