|
Ziele:
Terme systematisch unifizieren
in der Vorlesung:
- Verfahren an Beispielen zeigen.
- Begründen, weshalb die Substitution immer
wieder auf s und t angewandt wird.
- Begründen, weshalb in 2a und 2b geprüft
wird, ob die Variable x in dem Unterterm vorkommt.
Verständnisfragen:
- Zeigen sie an einem Beispiel, dass es nötig ist,
in 2a und 2b zu prüfen ob die Variable x
in dem Unterterm vorkommt.
|
