Term (Syntaktischer Term)

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein syntaktisches Objekt, das ein Individuum oder ein konstruiertes Element des Diskursbereichs bezeichnet, gebildet induktiv aus Variablen, Konstantensymbolen und Funktionssymbolen gemäß der Grammatik der formalen Sprache.