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

Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей.

Проверить информацию. Необходимо проверить точность фактов и достоверность сведений, изложенных в этой статье. На странице обсуждения должны быть пояснения.

У этого термина существуют и другие значения, см. Терм.

Терм — выражение формального языка (системы), является формальным именем объекта или именем формы. Понятие терма определяется индуктивно. Термом называется символьное выражение: 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