Prädikatenlogik/Termsubstitution/1/Aufgabe
Es seien Konstanten einer erststufigen Sprache, Variablen, ein einstelliges und zweistellige Funktionssymbole. Bestimme die Substitution
Es seien Konstanten einer
erststufigen Sprache,
Variablen,
ein einstelliges und
zweistellige Funktionssymbole. Bestimme die
Substitution