Terme (Terme Syntaxique)
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Un objet syntaxique désignant un individu ou un élément construit du domaine de discours, formé inductivement à partir de variables, symboles de constantes et symboles de fonction selon la grammaire du langage formel.