Alphabet erster Stufe/Symbole für Relationen und Funktionen/Symbolalphabet/Definition
Zur Navigation springen
Zur Suche springen
Symbolalphabet
Das Symbolalphabet im Alphabet einer Sprache erster Stufe besteht aus der Grundtermmenge (Variablen, Konstanten, Funktionssymbolen) und den Relationssymbolen.