Also wie bereits im Topic erwähnt hab ich ne Frage zu der Assigment Regel:

wie darf ich {p/v->e} verstehen?

v ist ne Variable und e ne Expression denk ich mal.
-> soll ne Substitution sein.

wird also v in p durch e ersetzt?

v ist ne Variable und e ne Expression denk ich mal.
-> soll ne Substitution sein.

Ja genau!

wird also v in p durch e ersetzt?

Ja genau!

Zur Verdeutlichung am besten nochmal einen Blick auf das darunter befindliche Beispiel(2.14) werfen.