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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Логотип Викисловаря
В Викисловаре есть статья «терм»

Терм — выражение формального языка (системы) специального вида. Понятие терма определяется индуктивно:

  1. всякая индивидная константа есть терм;
  2. всякая свободная переменная есть терм;
  3. если  — і-местная функциональная константа и , , …,  — термы, то также есть терм.