Zuweisungsregel

P Þ Q[ x ® t ]

{ P } x := t { Q }

Nach der Vereinfachung

Q’[v’ ® v, x’ ® t] = Q[ x ® t]

erhalten wir :

{(x2+1)y2 = 1} x := x*y {x2+y2=1}

(x2+1)y2 = 1 Þ (x*y)2+y2=1

Beispiel:

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen