first order logic

First Order Logic Terms

All variable symbols and all constant symbols are terms
For any function symbol, {% f_{n,m} %}, the application of the function to a set of terms {% t_1,t_2,...t_n %}, written as {% f_{n,m}( t_1,t_2,...t_n) %} is also a term