Schlußregel: Implikation

Vorbedingung verschärfen, Nachbedingung abschwächen

V' => V,  N => N',  {V} P {N}
-----------------------------
       {V'} P {N'}



Johannes Waldmann 2004-06-30