Symbolic Logic Peter Suber Study Guide April 1, 1997

Answers to Copi's Translation and Derivation Exercises Propositional logic. . . . . . . . . . . . . . . . . . . . . . .2 Derivations at p. 45. . . . . . . . . . . . . . . . . . . . .2 Propositional logic. . . . . . . . . . . . . . . . . . . . . . .8 Translations + Derivations at pp. 45-48 . . . . . . . . . . .8 Singly-general monadic predicate logic . . . . . . . . . . . . 15 Translations at pp. 69-70 . . . . . . . . . . . . . . . . . 15 Translations at p. 70 . . . . . . . . . . . . . . . . . . . 18 Translations at p. 71 . . . . . . . . . . . . . . . . . . . 19 Derivations at p. 76. . . . . . . . . . . . . . . . . . . . 20 Translations + derivations at pp. 76-78 . . . . . . . . . . 23 Multiply-general monadic predicate logic . . . . . . . . . . . 30 Translations at pp. 88-89 . . . . . . . . . . . . . . . . . 30 Derivations at pp. 103-04 . . . . . . . . . . . . . . . . . 33 Translations + derivations at pp. 104-05. . . . . . . . . . 39 Polyadic predicate logic . . . . . . . . . . . . . . . . . . . 44 Translations at pp. 127-28. . . . . . . . . . . . . . . . . 44 Translations at pp. 128-29. . . . . . . . . . . . . . . . . 45 Translations at p. 129. . . . . . . . . . . . . . . . . . . 48 Translations at pp. 129-30. . . . . . . . . . . . . . . . . 49 Translations at p. 130. . . . . . . . . . . . . . . . . . . 50 Derivations at pp. 132-33 . . . . . . . . . . . . . . . . . 52 Translations + derivations at pp. 133-34. . . . . . . . . . 56

References to Irving Copi, Symbolic Logic, are to the fifth edition, Macmillan, 1979.

I include the translation exercises, but not the derivation exercises, which Copi answers himself in the back of the book.

Remember that there are many ways to prove a valid argument valid with a derivation. If my way differs from your way, yours may still be perfectly good.

I welcome corrections. =======

Notes