921
A correction of EWD914–15
EWD921 · 1984–1987 · PDF · source transcription · Source language: English.
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