Exercises 1–5 contain a while loop and a predicate. In
Chapter 5, Problem 1E(choose chapter or problem)
Problem 1E
Exercises 1–5 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 ≥ 0 and m ≤ 100)
m := m + 1
n := n − 1
end while
predicate: m + n = 100
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer