A correction of EWD914–15

Formula (20) on EWD914–15 should be replaced by

(20)    [P ≡> (¬B ∨ wp(S,Q) ≡ Q)]

On EWD914–17, line 11

"⇒ {(20)}" should be replaced by "= {(20)}"

Peccavi!

Austin 30 April 1985


prof. dr. Edsger W. Dijkstra
Department of Computer Sciences
The University of Texas at Austin
Austin, TX 78712-1188
United States of America