Regel für “;”

In einem Rückwärtsbeweis muß ein geeignetes R

geraten werden !

Um eine Hintereinanderausführung zu beweisen,

benötigen wir eine Zwischenbehauptung R :

{ P } C1 ; C2 { Q }

{ P } C1 { R }

{ R } C2 { Q }

R

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen