Ask Question
1 November, 10:13

Which is not one of the four criteria for proving the correctness of a logical pretest loop construct of the form: while B do S end? a. The loop terminates. b. {I and B} S {I} c. left curly bracket I space a n d space (n o t space B) right curly bracket space rightwards double arrow space Q d. I space rightwards double arrow space P e. P space rightwards double arrow space I

+4
Answers (1)
  1. 1 November, 10:44
    0
    Answer: d. I space rightwards double arrow space P

    Explanation:

    The loop invariant must always satisfy a number of requirements for it to be considered useful. Another consideration is the complicating factor for loop termination. Any loop which cannot terminate would always not be correct, which tends to compute nothing. Below is a complete axiomatic illustration showing the construct required for it to be true, where I is the loop invariant:

    P = > I

    {I and B} S {I}

    (I and (not B)) = > Q

    the loop terminates
Know the Answer?
Not Sure About the Answer?
Find an answer to your question ✅ “Which is not one of the four criteria for proving the correctness of a logical pretest loop construct of the form: while B do S end? a. The ...” in 📘 Computers and Technology if you're in doubt about the correctness of the answers or there's no answer, then try to use the smart search and find answers to the similar questions.
Search for Other Answers