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

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

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

Множество термов сигнатуры , где  — множество предикатов,  — множество функций, а  — отображение арности для , определяется индуктивно:

  1. переменные являются термами сигнатуры
  2. если терм сигнатуры , и , то  — терм сигнатуры .

Запись при обозначает . В частности, из пункта 2 получаем, что символ константы сигнатуры является термом сигнатуры [1].

Примечания[править | править код]

  1. Ершов, 1987, с. 103.

Литература[править | править код]