Symbole de Fonction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Un symbole non logique qui désigne une fonction n-aire sur le domaine et qui, appliqué à des termes, produit un nouveau terme.