see Definition 2.9.23 on page 93.
Page 6: The Venn Diagram for the A statement in Figure 1.2.3 needs to be changed so that the entire region for P is unshaded.
Page 71: The first line after the truth table should read
... are true in lines 3,5,6,7,10,11,16 (and no ...
Page 180: The first item "10." should read
10. x(y(inv(y)inv(x)))=x(1inv(x)) [Courtesy of George Nelson, U. Iowa]
Page 253: The lines numbered 5,11,17-19,21-24,27-29,31,32 are not needed and can be deleted.
Page 327: The line numbered 8 should be:
(1 < y+z) \and \forall v ((( v |* (y+z) ) \implies (v = 1) \or (v = y+z)))
Page 337: In the last line, part (g) of Example 5.6.10, change "of length at most two" to read "of length two".
Page 349: In the second last line change the F to a G .
Page 360: In the 5th line change \neg r(ab) to \neg (rab) .
Page 401 (Appendix D): Modus Ponens is as defined on page 82 (and on page 83)
Page 401 (Appendix D): Soundness and Completeness are as in Definition 2.9.9 on page 85.
Page 408 (Appendix D):
For a definition of
see Definition 2.9.23 on page 93.