Use the rule of inference developed in Exercise 5 to
Chapter 4, Problem 4.5.6(choose chapter or problem)
Use the rule of inference developed in Exercise 5 to verify that the program if x < 0 then y := -2lxl/x else if x > 0 then y := 21x l/x else if x = 0 then y :=2 is correct with respect to the initial assertion T and the final assertion y = 2
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