Betrachte Aussagen der Form {V} P {N} für
{V} P {N}
Beispiel: {x < 0 und y > 0} x = y - x; {x > 0}
{x < 0 und y > 0} x = y - x; {x > 0}
Benutze Schlußregeln und Axiome