Prädikatenlogik/Ersetzungssymbol/Teil der Sprache/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Gehört in einem Ausdruck der Form die Symbolfolge zur prädikatenlogischen Sprache? Gehört dazu?