WikiSort.ru - Не сортированное

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

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

В Викисловаре есть статья «терм»

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

Множество ${\displaystyle T(\Sigma )}$ термов сигнатуры ${\textstyle \Sigma =<R,F,\mu >}$ , где ${\displaystyle R}$  — множество предикатов, ${\displaystyle F}$  — множество функций, а ${\displaystyle \mu }$  — отображение арности для ${\displaystyle \Sigma }$ , определяется индуктивно:

1. переменные ${\displaystyle x\in V}$ являются термами сигнатуры ${\displaystyle \Sigma }$
2. если ${\displaystyle t_{1},...,t_{n}}$ терм сигнатуры ${\displaystyle \Sigma }$ , ${\displaystyle f\in F}$ и ${\displaystyle \mu (f)=n}$ , то ${\displaystyle f(t_{1},...,t_{n})}$  — терм сигнатуры ${\displaystyle \Sigma }$ .

Запись ${\displaystyle \Theta (\tau _{1},...,\tau _{n})}$ при ${\displaystyle n=0}$ обозначает ${\displaystyle \Theta }$ . В частности, из пункта 2 получаем, что символ ${\displaystyle c\in F}$ константы сигнатуры ${\displaystyle \Sigma }$ является термом сигнатуры ${\displaystyle \Sigma }$ ^[1].

Примечания

Литература

• Ершов Ю.Л., Палютин Е.А. Математическая логика. — М.: Наука, 1987. — 336 с.

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