Funktionssymbol
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Ein nicht-logisches Symbol, das eine n-stellige Funktion auf der Domäne bezeichnet und beim Anwenden auf Terme einen neuen Term ergibt.