Aufgabe 5:  Beweisen Sie

	{ x = y }
	x=x+1;
	y=y+1;
	{ x = y }

Geben Sie im Beweis an, welche Regeln Sie angewendet haben.

Aufgabe 6:  Was tut das folgende Programm­stück?

	x=x+y;
	y=x-y;
	x=x-y;

Gehen Sie von der Nach­bedingung {x = A  ∧  y = B} aus.

Aufgabe 7:  Beweisen Sie

	{ x < y }
	x=y-x;
	x=y+x;
	{ y < x }