Prädikatenlogik/Substitution/Ausdruck/1/Aufgabe
Es sei eine Konstante einer erststufigen Sprache, Variablen, ein einstelliges Funktionssymbol, zweistellige Funktionssymbole und ein zweistelliges Relationssymbol. Bestimme die Substitution
Es sei eine Konstante einer
erststufigen Sprache,
Variablen,
ein einstelliges Funktionssymbol,
zweistellige Funktionssymbole und
ein zweistelliges Relationssymbol. Bestimme die
Substitution