Suppose that both the program assertion p{S}qo and the
Chapter 4, Problem 4.5.11(choose chapter or problem)
Suppose that both the program assertion p{S}qo and the conditional statement qo --+ ql are true. Show that p{S}ql 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