Firma (lógica matemática)

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 10 de junio de 2013; las comprobaciones requieren 3 ediciones .

Una firma en lógica matemática y álgebra universal es un conjunto de símbolos específicos de un sistema particular y que definen su lenguaje formal . Formalmente, una firma es un conjunto de conjuntos en los que: $\Sigma =(R,F,C,\rho )$

$R$ - un conjunto de símbolos para relaciones (predicados),
$F$ - conjunto de símbolos funcionales,
$C$ — conjunto de símbolos constantes
Una función que empareja elementos y su aridad . $\rho$ $R$ $F$

Una firma caracteriza un sistema algebraico ( álgebra o modelo ) definiendo en qué símbolos pueden consistir sus expresiones y cómo pueden construirse.