Part III, exercise 7 (p. 45)

1. (Q R) S 2. ~(Q R) S 3. (~Q·~R) S 4. S (~Q·~R) 5. (S ~Q)·(S ~R) 6. S ~Q 7. ~Q S 8. Q S

/ Q S 1 imp 2 DeM 3 com 4 dist 5 simp 6 com 7 imp

Part II, exercise 13 (p. 77)

1. (x)[(Bx Gx) Fx] 2. (x)[(Fx Vx) Nx] 3. (By Gy) Fy 4. (Fy Vy) Ny 5. By 6. By Gy 7. Fy 8. Fy Vy 9. Ny 10. By Ny 11. (x)(Bx Nx)

/ (x)(Bx Nx) 1 UI 2 UI ass, CP 5 add 3,6 MP 7 add 4,8 MP 5-9 CP 10 UG

This file is an electronic hand-out for the course, Symbolic Logic.

Most of the logic symbols in this file are GIFs. See my Notes on Logic Notation on the Web.

Peter Suber, Department of Philosophy, Earlham College, Richmond, Indiana, 47374, U.S.A.
peters@earlham.edu. Copyright © 1997, Peter Suber.