Símbolo de Función
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Un símbolo no lógico que denota una función n-aria sobre el dominio y que, cuando se aplica a términos, produce un nuevo término.