Three types of term in logic?

In logic, three key types of terms are constants, variables, and functions. Constants refer to specific, fixed values or entities, like '5' or 'Alice.' Variables represent placeholders that can take on different values, such as 'x' or 'y.' Functions, on the other hand, are expressions that map inputs (arguments) to outputs, like 'f(x) = x + 2,' indicating a relationship between terms.