Сигнатура (математическая логика): различия между версиями

интервики, викификация
(интервики, викификация)
'''Сигнатурой''' называется набор '''''Σ = < math>\Sigma=(R,F,C,ρ \rho)</math>''''' состоящий из множеств:
 
* '''''<math>R'''''</math> - множество символов для отношений (предикатов),
* '''''<math>F'''''</math> - множество функциональных символов,
* '''''С'''''<math>C</math> - множество символов констант
* и функции '''''ρ'''''<math>\rho</math> - сопоставляющей элементам '''''<math>R'''''</math> и '''''<math>F'''''</math> их [[арность]].
 
{{rq|wikify|cat|sources|iwiki}}
{{math-stub}}
[[Категория:Математическая логика]]
{{изолированная статья}}
[[en:Signature (logic)]]