Определение

i) Переменная языка Lесть терм;

ii) если – k -местный функциональный символ языка L и - термы, то выражение F( )есть терм языка L. Коротко это запишем в виде правила вывода:

.

Это обобщенное индуктивное определение показывает, что каждый терм имеет один и только один вид из следующих двух: переменная или константа (из правила ii как 0-местная функция) языка L, либо функция от термов. Таким образом, термы – это те выражения языка, значениями которых являются индивиды. Роль термов состоит в том, чтобы описывать именные формы и имена индивидов.

Дата добавления: 2014-01-06