Alphabet erster Stufe/Symbole für Relationen und Funktionen/Symbolalphabet/Definition

Aus Wikiversity
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.