Mam pytanie jak matematycznie zapisać rozwiązanie zadania:
Pokaż, że warunek m+n jest liczba nieparzysta jest niezmiennikem petli: \(\displaystyle{ Dopóki 1 \le n, wykonuj:\newline
m:=m+1\newline
n:=n+1}\)
Bo logicznie myśląc, w każdym kroku jest ten warunek niezmienny. Zarówno m, jak i n zwiększane
są o 1,wiec suma o 2. Warunek nieparzystości się nie zmienia.
Ale jak to zapisać matematycznie?