Content deleted Content added
m minor grammatical fixup |
m small clarification in example |
||
Line 7:
This gives a predicate that is a copy of ''R'' with the value of ''x'' replaced by ''E''.
An example of a valid calculation of ''wp'' for assignments with integer valued variables ''x'' and ''y'' is:
:<math>wp(x := y - 5, x > 10) = y > 15 </math>
| |||