Suppose that both the program assertion p{S}q0 and the
Chapter 8, Problem 11E(choose chapter or problem)
Suppose that both the program assertion p{S}q0 and the conditional statement po ? p1 are true. Show that p{S}q1 also must be true.
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