Терм (логика)

Терм в выражение формального языка (системы), является формальным именем объекта или именем формы. Понятие терма определяется индуктивно. Термом называется символьное выражение: t(X1, X2, в , Xn), где t в имя терма, называемая функтор или «функциональная буква», а X1, X2, в , Xn в термы, структурированные или простейшие.

В логике первого и второго порядков терм определяется рекурсивно следующим образом:

1. всякая индивидная константа есть терм;
2. всякая свободная переменная есть терм;
3. если $f^i$ в і-местная функциональная константа и $t_1$, $t_2$, в, $t_i$ в термы, то $f^i(t_1, t_2, ..., t_i)$ также есть терм;
4. термами являются только те выражения, которые получены согласно пп. 1в3