Ask Question
17 April, 23:06

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

+5
Answers (1)
  1. 18 April, 02:06
    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?
Get 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 & Technology if there is no answer or all answers are wrong, use a search bar and try to find the answer among similar questions.
Search for Other Answers