Im Semantik Skript auf Seite 29 bei den Direct semantic equation: Quantifiers taucht Plötzlich ein w auf :)
Die Frage ist was bedeutet:  [klein Sigma| v: n] und warum machen wir das?
Ein gedanke von uns ist das wir es machen damit wir die gebundene Variable v auswerten können?
Ist das richtig?
Wenn ja wie läuft es ab?

Ein paar Seiten weiter wird die Substitution erklärt ab Seite 37.
Hier kommt es anscheinend wieder zu einem Problem mit  den Gebundnen Variablen diese werden hier erstetzt durch v_new?
Worin besteht hier das Problem?
Könnte man das Problem nicht umgehen in dem man sagt gebundene Variablen dürfen nicht Substituiert werden? Warum will ich das überhaupt?
Fragen über Fragen

Die Frage ist was bedeutet:  [klein Sigma| v: n]

Das ist ein Zustand, der sich von klein Sigma nur dadurch unterscheidet, dass v den Wert n hat.

Im Semantik Skript auf Seite 29 bei den Direct semantic equation: Quantifiers taucht Plötzlich ein w auf :)
Die Frage ist was bedeutet: [klein Sigma| v: n] und warum machen wir das?
Ein gedanke von uns ist das wir es machen damit wir die gebundene Variable v auswerten können?
Ist das richtig?
Wenn ja wie läuft es ab?

An der Stelle hatte ich auch lange gerätselt.
Wie Fred bereits sagte: [S| v: n] is wie S eine Funktion und macht exakt das selbe wie S, nur die Variable v wird auf einen neuen Wert n abgebildet.