If the predicate a+b = even is true, the prove the following loop is true while (a >= 0 and a <= 100) {a = a + 3;b = b -1;

Question

jnuwhguhfdughefghehgierhieriyjyreib ierirejyi yijyt 

Answer 1

0  ≤a ≤ 100

 

 { a + b  ) } ={ (3-1) , ( 4+0) , ( 5+1), ( 6+2) , ......{ n+3 +n -1), ......( 100+3 +100-1 }

                                                                              2n +2 =even                  200 +2=202