Vocabulario

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
El conjunto de símbolos no lógicos (predicados, funciones y constantes) junto con las categorías o tipos especificados que define la firma de un lenguaje formal.