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

Материал из Википедии — свободной энциклопедии

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

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

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

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

1. всякая индивидная константа есть терм;
2. всякая свободная переменная есть терм;
3. если fⁱ — і-местная фунциональная константа и t₁, t₂, …, t_i — термы, то fⁱ(t₁,t₂,...,t_i) также есть терм;
4. термами являются только те выражения, которые получены согласно пп. 1—3

Это незавершённая статья по логике. Вы можете помочь проекту, исправив и дополнив её.