03-09-2023
Терм — выражение формального языка (системы), является формальным именем объекта или именем формы. Понятие терма определяется индуктивно. Термом называется символьное выражение: t(X1, X2, … , Xn), где t — имя терма, называемая функтор или «функциональная буква», а X1, X2, … , Xn — термы, структурированные или простейшие.
В логике первого и второго порядков терм определяется рекурсивно следующим образом:
Это заготовка статьи по логике. Вы можете помочь проекту, исправив и дополнив её. |
Терм (логика).