Musterlösung Übung 5, Aufgabe 5.2
Verfasst: 1. Dez 2017 15:11
Hallo,
Ich weiß nicht ob ich hier jemanden von MoSeS erreiche, aber ich glaube es hat sich ein Fehler in die Musterlösung eingeschlichen:
Teilaufgabe d):
"[...] Bei der zweiten Substitution enthält der Bildbereich einen Ausdruck mit der Metavariable b1. [...]"
Ist damit die Metavariable b2 gemeint oder habe ich das mit den Grundsubstitutionen falsch verstanden?
LG
Ich weiß nicht ob ich hier jemanden von MoSeS erreiche, aber ich glaube es hat sich ein Fehler in die Musterlösung eingeschlichen:
Teilaufgabe d):
"[...] Bei der zweiten Substitution enthält der Bildbereich einen Ausdruck mit der Metavariable b1. [...]"
Ist damit die Metavariable b2 gemeint oder habe ich das mit den Grundsubstitutionen falsch verstanden?
LG