Proof the correctness of the following statement: i. n is even and n≤10 and n<9}n:=n+2{n is even and n≤10} (3 marks) ii. {y=3}x:=y+1{2 ∗
x+y≤11} (3 marks) b) Identify the weakest pre condition for the following code segment. Integer x,y; {?} If (y>0) x:=y−1 else x:=y+1 {x<0}