Prädikatenlogik/Substitution/Ausdruck/1/Aufgabe

Aus Wikiversity

Es sei eine Konstante einer erststufigen Sprache, Variablen, ein einstelliges Funktionssymbol, zweistellige Funktionssymbole und ein zweistelliges Relationssymbol. Bestimme die Substitution