Kod: Zaznacz cały
while (x < y) do
if (x * 2 < y) then x := x * 2
else y := y - 1
a) \(\displaystyle{ 0 < y \wedge 0 < x}\)
b) \(\displaystyle{ 0 < y \wedge x < y}\)
Jeśli nie to podaj kontrprzykład.
Kod: Zaznacz cały
while (x < y) do
if (x * 2 < y) then x := x * 2
else y := y - 1