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.

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Alphabet_erster_Stufe/Symbole_für_Relationen_und_Funktionen/Symbolalphabet/Definition&oldid=835263“