{ V und B } P { N }, { V und nicht B } Q { N } -------------------------- {V} if B then P else Q {N}
Beispiel:
{ } if x < y then z = x else z = y { z = min(x,y) }