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