Suppose that both the conditional statement p0 ? p1 and
Chapter 8, Problem 10E(choose chapter or problem)
Problem 10E
Suppose that both the conditional statement p0 → p1 and the program assertion p1{S}q are true. Show that p0{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