Contain a while loop and a predicate. In each case show that if the predicate is...

 

Transcribed Image Text:

Contain a while loop and a predicate. In each case show that if the predicate is true before entry to the loop, then it is also true after exit from the loop. loop: while (m 20 and т< 100) т:- т + 4 n := n - 2 end while, predicate: m+n is odd Contain a while loop and a predicate. In each case show that if the predicate is true before entry to the loop, then it is also true after exit from the loop. loop: while (m 20 and т< 100) т:- т + 4 n := n - 2 end while, predicate: m+n is odd

Answer rating: 100% (QA)

Assume that it is true that the predicate mn is odd prior to entry int... View the full answer