The Law of ____ states that if a postcondition Q implies R then the weakest precondition of Q implies the weakest precondition of R.
A) the Excluded Miracle
B) Conjunction
C) Monotonicity
D) Disjunction

Question

Quizplus · Accepted Answer

This is the definition of the Law of Monotonicity. It is a fundamental principle in program verification and formal methods, which states that if a program satisfies a postcondition Q and Q implies R, then the program must also satisfy R. The weakest precondition of Q and the weakest precondition of R are the minimal assumptions that need to be satisfied for the postcondition to hold.

The Law of ____ States That If a Postcondition Q