Betrachte Aussagen der Form {V} P {N}
für
Beispiel: {x < 0 und y > 0} x = y - x; {x > 0}
Frage: was ist die schwächste Vorbedingung V,
so daß { V } x = y - x; {x > 0}
?
Antwort (geraten): y > x
.
Aus tatsächlicher Vorbedingun x < 0 und y > 0
folgt y>x
, also ist o. g. Beispiel-Aussage wahr.
Statt raten: rechnen mit Regeln.