Zuweisungsregel

Für jede Variable v,x,y,z ... bezeichne v’, x’, y’, z’ ihren

Inhalt nach der Zuweisung. Dann soll gelten

P Þ Q’

{ P } x := t { Q }

v’ = v

x’ = t

Für jede Variable ¹ x

Wie Q, nur jede Variable

v durch v’ ersetzt

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen