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

м
пунктуация, оформление
м (пунктуация, оформление)
{{Значения|Сигнатура}}
'''Сигнатурой''' называется набор <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|sources|stub|topic=math}}