Typos from Ch. 9 Exercises.

4q: The second premise should read ~(A • ~D), not (A • ~D)

5c: The first premise should read ((P v T) @ R) >(Z v W), not ((P v T @ R) > (Z v W).

Also, on Handout1, on the "tip" for problem four, the last sentence in S.L. should read "~(B > M)".

Return to handouts.