Professional Documents
Culture Documents
Chapter 8
Exercise 8.1
1. Ce
2. Sn
3. (Iw Is)
4. Jr Nr
5. Di Dm
6. (Sb Sf) (Ea Eg)
7. (x)(Mx Tx)
8. (x)(Gx Sx)
9. (x)(Nx Bx)
10.
(x)(Hx Rx)
11.
Cg Mt
12.
Cg Gt
13.
(x)Tx
14.
(x)(Lx Wx)
15.
(x)(Ax Px)
16.
(x)(Sx Gx)
17.
(x)(Px Lx)
18.
(x)(Tx Rx)
19.
(x)(Sx Vx)
20.
21.
Exercise 8.1
22.
(x)(Cx Hx)
23.
(x)Ix
24.
(x) Gx
25.
(x)(Tx Hx)
26.
(x)(Tx Wx)
27.
(x)(Mx Ex)
28.
(x)(Hx Ex)
29.
(x)(Gx Ax)
30.
(x)(Px Gx)
31.
32.
(x)(Cx Tx)
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
Exercise 8.1
45.
46.
47.
48.
49.
Gt (x)(Wx Cx)
50.
51.
(x)(Mx Ix) Ir
52.
(x)(Ix Mx) Ir
53.
54.
55.
56.
57.
58.
59.
60.
Exercise 8.2
Part I
(1) 1. (x)(Ax Bx)
2. (x)(Bx Cx)
3. Ax Bx
4. Bx Cx
5. Ax Cx
6. (x)(Ax Cx)
/ (x)(Ax Cx)
1, UI
2, UI
3, 4, HS
5, UG
Exercise 8.2, I
/ (x)(Ax Cx)
2, EI
1, UI
3, Com
5, Simp
4, 6, MP
3, Simp
7, 8, Conj
9, EG
/ (x) Ax
1, UI
2, 3, MT
4, EG
/ (x)(Ax Bx)
1, UI
2, UI
4, Com
5, Impl
3, 6, Equiv
7, UG
/ Cg
1, UI
2, Simp
3, 4, MP
2, Com
6, Simp
5, 7, DS
/ (y)Cy
2, EI
3, Simp
1, UI
4, Add
5, 6, MP
7, EG
Exercise 8.2, I
/ (z) Jz
2, EI
1, UI
3, Add
5, DM
4, 6, MT
7, EG
/ (x)Bx
2, EI
1, UI
3, Simp
4, 5, MP
3, Com
7, Simp
6, Com
8, 9, DS
10, EG
/ Bm Bn
1, UI
2, Simp
3, 4, MP
1, UI
2, Com
7, Simp
6, 8, MP
5, 9, Conj
/ Bm Bn
1, UI
1, UI
3, 4, Conj
2, 5, CD
/ (x)Ax
1, UI
2, UI
3, Com
5, DN
6, Impl
5
Exercise 8.2, I
8. Ax Ax
9. Ax Ax
10. Ax Ax
11. Ax
12. (x)Ax
4, 7, HS
8, Impl
9, DN
10, Taut
11, UG
/ (x)Ax
2, EI
1, UI
3, Com
5, Simp
4, 6, MT
7, DM
3, Simp
9, DN
8, Com
10, 11, DS
12, EG
/ (x)(Bx Dx)
1, UI
2, UI
4, 5, Conj
3, 6, CD
7, EG
Exercise 8.2, I
8. Bm
9. Cm
7, Simp
6, 8, MP
/ (x)(Bx Dx)
3, Simp
4, EG
1, 5, MP
3, Com
7, Simp
8, EG
2, 9, MP
10, EI
6, UI
11, 12, Conj
13, EG
/ (x)(Cx Ax)
1, UI
3, Com
4, Simp
5, UG
2, Com
5, DN
7, 8, DS
3, Simp
10, UG
11, UI
9, 12, Conj
13, EG
/ Bn Bm
1, UI
2, Simp
4, 5, MP
6, Equiv
7, Com
8, Simp
3, Simp
9, 10, MP
1, UI
2, Com
13, Simp
7
Exercise 8.2, I
15. Bm Cm
16. (Bm Cm) (Cm Bm)
17. Bm Cm
18. Cm Cn
19. Cm
20. Bm
21. Bn Bm
12, 14, MP
15, Equiv
16, Simp
3, Com
18, Simp
17, 19, MT
11, 20, Conj
Exercise 8.2, I
5. (x)(Bx Cx)
6. Be Ce
7. Be
8. Ae Be
9. (x)(Ax Bx)
10. (x)(Cx Dx)
11. Ce De
12. De Ce
13. De
14. De Be
15. (x)(Dx Bx)
(22) 1. (x)(Ax Bx)
2. An [(x)Cx Bc]
3. Am (x)(Cx Dx)
4. An Bn
5. An
6. (x)Cx Bc
7. Am Bm
8. Am
9. (x)(Cx Dx)
10. Ac Bc
11. Bc Ac
12. Bc
13. (x)Cx
14. (x)Cx
15. Cs
16. Cs Ds
17. Ds
18. (x)Dx
2, 4, MP
5, UI
6, Simp
3, 7, Conj
8, EG
1, 9, MP
10, UI
11, Com
12, Simp
7, 13, Conj
14, EG
/ (x)Dx
1, UI
4, Simp
2, 5, MP
1, UI
7, Simp
3, 8, MP
1, UI
10, Com
11, Simp
6, 12, MT
13, DN
14, EI
9, UI
15, 16, MP
17, EG
/ (x)Dx
1, UI
4, Simp
4, Com
6, Simp
5, UG
7, UG
2, 8, MP
9, UI
11, DN
10, Com
12, 13, DS
3, 9, MP
14, EG
9
Exercise 8.2, I
17. Dn An
18. An
19. An
20. An Dn
21. Dn
22. (x)Dx
15, 16, MP
8, UI
18, DN
17, Com
19, 20, DS
21, EG
/ (x)Cx
3, Simp
4, EG
1, 5, MP
6, UI
4, Add
7, 8, MP
9, EG
2, 10, MP
11, UI
9, 12, MP
3, Com
14, Simp
15, Dn
13, Com
16, 17, DS
18, EG
/ (x)Dx
3, EI
4, Simp
4, Com
6, Simp
5, EG
7, EG
1, 8, MP
10, UI
5, 11, MP
2, 9, MP
13, UI
14, DM
15, Com
12, DN
16, 17, DS
18, EG
10
Exercise 8.2, II
Part II
(1) 1. (x)(Ox Sx)
2. (x)(Ox Fx)
3. Ox Sx
4. OX Fx
5. Ox Sx
6. Ox Fx
7. (Ox Sx) (Ox Fx)
8. Ox (Sx Fx)
9. Ox (Sx Fx)
10. (x)[Ox (Sx Fx)
(2) 1. (x)(Tx Vx)
2. Tx Vx
3. Tx Vx
4. Vx Tx
5. (Vx Tx) Gx
6. Vx (Tx Gx)
7. Vx (Tx Gx)
8. (Tx Gx) Vx
9. (Tx Gx) Vx
10. (x)[(Tx Gx) Vx]
/ (x)(Ax Gx)
1, UI
2, Impl
3, DM
4, Com
5, Dist
6, Simp
7, Com
8, Impl
9, UG
Exercise 8.2, II
11. Vm
12. Gm Cm
13. Gm
14. Vm Gm
15. (x)(Vx Gx)
16. (x)(Px Fx) (x)(Cx Vx)
17. (x)(Px Fx)
18. Pn Fn
19. Pn
20. Fn
21. Gn Pn
22. Gn
23. Fn Gn
24. (x)(Fx Gx)
25. (x)(Vx Gx) (x)(Fx Gx)
(5) 1. (x)[(Bx Px) Lx]
2. (x)(Gx Lx)
3. (Bx Px) Lx
4. Gx Lx
5. Lx (Bx Px)
6. Gx (Bx Px)
7. Gx (Bx Px)
8. Gx (Bx Px)
9. (Gx Bx) (Gx Px)
10. Gx Bx
11. Gx Bx
12. (x)(Gx Bx)
(6) 1. (x)(Cx Gx)
2. (x)Cx (x)(Px Gx)
3. (x)(Px Vx)
4. Cm Gm
5. Cm
6. (x)Cx
7. (x)(Px Gx)
8. Pn Gn
9. Pn
10. Pn Vn
11. Vn
12. Gn Pn
13. Gn
14. Vn Gn
15. (x)(Vx Gx)
9, 10, MP
4, Com
12, Simp
11, 13, Conj
14, EG
1, Com
16, Simp
17, UI
7, Simp
18, 19, MP
7, Com
21, Simp
20, 22, Conj
23, EG
15, 24, Conj
/ (x)(Gx Bx)
1, UI
2, UI
3, Trans
4, 5, HS
6, DM
7, Impl
8, Dist
9, Simp
10, Impl
11, UG
/ (x)(Vx Gx)
1, EI
4, Simp
5, EG
2, 6, MP
7, EI
8, Simp
3, UI
9, 10, MP
8, Com
12, Simp
11, 13, Conj
14, EG
12
Exercise 8.2, II
/ Ra Rc
1, UI
2, UI
4, 5, HS
6, UG
7, UI
3, Simp
8, 9, MP
7, UI
3, Com
12, Simp
11, 13, MP
10, 14, Conj
/ (x)(Bx Ex)
1, EI
2, EI
4, Simp
6, EG
3, 7, MP
8, UI
9, Exp
5, 10, MP
5, Simp
11, 12, Conj
13, EG
Exercise 8.2, II
17. Cx Px
18. Px Bx
19. Cx Bx
20. (x)(Cx Bx)
15, UI
16, UI
17, 18, HS
19, UG
Part III (The letters used in the translations are underlined in the text.)
run a higher risk of cancer. Anyone who runs a higher risk of heart attack and cancer is less
healthy. Thus, people who eat meat are less healthy.
1. (x)[Mx (Ox Ax)]
2. (x)(Ox Hx)
3. (x)(Ax Cx)
4. (x)[(Hx Cx) Lx]
/ (x)(Mx Lx)
5. Mx (Ox Ax)
1, UI
6. Mx (Ox Ax)
5, Impl
7. (Mx Ox) (Mx Ax)
6, Dist
8. Mx Ox
7, Simp
9. Mx Ox
8, Impl
10. (Mx Ax) (Mx Ox)
7, Com
11. Mx Ax
10, Simp
12. Mx Ax
11, Impl
13. Ox Hx
2, UI
14. Mx Hx
9, 13, HS
15. Ax Cx
3, UI
16. Mx Cx
12, 15, HS
17. Mx Hx
14, Impl
18. Mx Cx
16, Impl
19. (Mx Hx) (Mx Cx)
17, 18, Conj
20. Mx (Hx Cx)
19, Dist
21. Mx (Hx Cx)
20, Impl
22. (Hx Cx) Lx
4, UI
23. Mx Lx
21, 22, HS
24. (x)(Mx Lx)
23, UG
I might add that if people who eat meat are less healthy, then if parents are responsible,
then they will refrain from feeding meat to children. All parents love their children, and if they
do, then they are responsible. But if parents refrain from feeding meat to children, then children
will grow up to be vegetarians. And if that happens, then nobody will eat meat in the future.
Thus, we can look forward to a future where everyone is a vegetarian.
[Note: You must include the prior conclusion as a premise. Mx = x is a meateater, Fx = x is a future meat-eater.]
1. (x)(Mx Lx)
2. (x)(Mx Lx) (x)[Px (Rx Ex)]
3. (x)(Px Cx)
4. (x)[Px (Cx Rx)]
5. (x)(Px Ex) (x)(Cx Gx)
6. (x)(Cx Gx) (x)Fx
/ (x)Fx
7. (x)[Px (Rx Ex)]
1, 2, MP
8. Px (Rx Ex)
7, UI
9. Px Cx
3, UI
10. Px (Cx Rx)
4, UI
11. (Px Cx) Rx
10, Exp
12. (Cx Px) Rx
11, Com
13. Cx (Px Rx)
12, Exp
15
27.
28.
29.
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
54.
55.
56.
57.
58.
59.
60.
(Wx Cx) Lx
26, Com
Wx (Cx Lx)
27, Exp
(Cx Mx) (Cx Lx)
24, 28, HS
[(Cx Mx) Cx] Lx
29, Exp
[Cx (Cx Mx)] Lx
30, Com
[(Cx Cx) Mx] Lx
31, Assoc
(Cx Mx) Lx
32, Taut
Cx (Mx Lx)
33, Exp
Ex (Mx Ix)
4, UI
(Ex Mx) Ix
35, Exp
Ex (Ix Bx)
5, UI
(Ex Ix) Bx
37, Exp
(Ix Ex) Bx
38, Com
Ix (Ex Bx)
39, Exp
(Ex Mx) (Ex Bx)
36, 40, HS
[(Ex Mx) Ex] Bx
41, Exp
[Ex (Ex Mx)] Bx
42, Com
[(Ex Ex) Mx] Bx
43, Assoc
(Ex Mx) Bx
44, Taut
Ex (Bx Lx)
6, UI
(Ex Bx) Lx
42, Exp
(Bx Ex) Lx
43, Com
Bx (Ex Lx)
44, Exp
(Ex Mx) (Ex Lx)
45, 49, HS
[(Ex Mx) Ex] Lx
50, Exp
[Ex (Ex Mx)] Lx
51, Com
[(Ex Ex) Mx] Lx
52, Assoc
(Ex Mx) Lx
53, Taut
Ex (Mx Lx)
54, Exp
Cx (Mx Lx)
34, Impl
(Mx Lx) Cx
56, Com
Ex (Mx Lx)
55, Impl
(Mx Lx) Ex
58, Com
[(Mx Lx) Cx]
[(Mx Lx) Ex]
57, 59, Conj
61. (Mx Lx) (Cx Ex)
60, Dist
62. (Cx Ex) (Mx Lx)
61, Com
63. (Cx Ex) (Mx Lx)
62, DM
64. (Cx Ex) (Mx Lx)
63, Impl
65 (x)[(Cx Ex) (Mx Lx)]
64, UG
Mindy smiles. Thats what zinc tablets and iron supplements are for, she says.
Anyway, there are also moral reasons for being a vegetarian. Consider this. Animals are
sentient beingsthey feel pain, fear and joyand they have an interest in preserving their lives.
If animals are sentient, then if humans cause animals to suffer, then they act immorally. And if
animals have an interest in preserving their lives, then if humans exploit animals, then they act
17
immorally. But if humans kill animals for food, then they cause animals to suffer or they exploit
them. Therefore, if humans kill animals for food, then they act immorally.
1. (x)(Ax Sx)
2. (x)(Ax Ix)
3. (x)(Ax Sx) (x)[Hx (Cx Mx)]
4. (x)(Ax Ix) (x)[Hx (Ex Mx)]
5. (x){Hx [Kx (Cx Ex)]}
/ (x)[Hx (Kx Mx)]
6. (x)[Hx (Cx Mx)]
1, 3, MP
7. (x)[Hx (Ex Mx)]
2, 4, MP
8. Hx (Cx Mx)
6, UI
9. Hx (Ex Mx)
7, UI
10. Hx [Kx (Cx Ex)]
5, UI
11. (Hx Kx) (Cx Ex)
10, Exp
12. (Hx Cx) Mx
8, Exp
13. (Cx Hx) Mx
12, Com
14. Cx (Hx Mx)
13, Exp
15. (Hx Ex) Mx
9, Exp
16. (Ex Hx) Mx
15, Com
17. Ex (Hx Mx)
16, Exp
18. Cx (Hx Mx)
14, Impl
19. Ex (Hx Mx)
17, Impl
20. (Hx Mx) Cx
18, Com
21. (Hx Mx) Ex
19, Com
22. [(Hx Mx) Cx]
[(Hx Mx) Ex]
20, 21, Conj
23. (Hx Mx) (Cx Ex)
22, Dist
24. (Cx Ex) (Hx Mx)
23, Com
25. (Cx Ex) (Hx Mx)
24, DM
26. (Cx Ex) (Hx Mx)
25, Impl
27. (Hx Kx) (Hx Mx)
11, 26, HS
28. [(Hx Kx) Hx] Mx
27, Exp
29. [Hx (Hx Kx)] Mx
28, Com
30. [(Hx Hx) Kx] Mx
29, Assoc
31. (Hx Kx) Mx
30, Taut
32. Hx (Kx Mx)
31, Exp
33. (x)[Hx (Kx Mx)]
32, UG
I agree with you that animals should not be made to suffer, Paul responds.
But if animals are raised under humane conditions, and some of them are, then they will not be
caused to feel pain or distress. And if animals are not caused to feel pain, then we are morally
justified in eating them. Thus, we are morally justified in eating some animals.
1. (x){Ax [Rx (Px Dx)]}
2. (x)(Ax Rx)
3. (x)[Ax (Px Mx)]
/ (x)(Ax Mx)
4. Ac Rc
2, EI
5. Ac [Rc (Pc Dc)]
1, UI
6. Ac (Pc Mc)
3, UI
18
7. Ac
4, Simp
8. Rc (Pc Dc)
5, 7, MP
9. Pc Mc
6, 7, MP
10. Rc Ac
4, Com
11. Rc
10, Simp
12. (Pc Dc)
8, 11, MP
13. Pc Dc
12, DM
14. Pc
13, Simp
15. Mc
9, 14, MP
16. Ac Mc
7, 15, Conj
17. (x)(Ax Mx)
16, EG
But, Paul continues, your argument also suggests that animals have rights. If animals
have rights, then they have moral judgment. And if animals have moral judgment, then they
respect the rights of other animals. But every animal pursues its own self interest to the
exclusion of other animals, and if that is so, then it does not respect the rights of other animals.
Therefore, animals have no moral judgment and they also have no rights.
1. (x)[Ax (Rx Mx)]
2. (x)[Ax (Mx Sx)]
3. (x)(Ax Px)
4. (x)(Px Px) (x)(Ax Sx)
/ (x)[Ax (Mx Rx)]
5. (x)(Ax Sx)
3, 4, MP
6. Ax (Rx Mx)
1, UI
7. Ax (Mx Sx)
2, UI
8. Ax Sx
5, UI
9. (Ax Mx) Sx
7, Exp
10. Sx (Ax Mx)
9, Trans
11. Ax (Ax Mx)
8, 10, HS
12. Ax (Ax Mx)
11, DM
13. Ax (Ax Mx)
12, Impl
14. (Ax Ax) Mx
13, Exp
15. Ax Mx
14, Taut
16. (Ax Rx) Mx
6, Exp
17. Mx (Ax Rx)
16, Trans
18. Ax (Ax Rx)
15, 17, HS
19. Ax (Ax Rx)
18, DM
20. Ax (Ax Rx)
19, Impl
21. (Ax Ax) Rx
20, Exp
22. Ax Rx
21, Taut
23. Ax Mx
15, Impl
24. Ax Rx
22, Impl
25. (Ax Mx) (Ax Rx)
23, 24, Conj
26. Ax (Mx Rx)
25, Dist
27. Ax (Mx Rx)
26, Impl
28. (x)[Ax (Mx Rx)]
27, UG
Well, Mindy replies, by that line of reasoning infants and mentally challenged adults
have no rights. But everyone recognizes that they do have rights. And if infants have rights,
19
then some people who lack the capacity for moral judgment have rights. But if this is true, then
animals have rights, and if they do, then surely they have the right to life. But if animals have
the right to life, then if humans are moral, then they must respect that right and they cannot kill
animals for food. Thus, if humans are moral, they cannot kill animals for food.
1. (x)[(Ix Ex) Rx]
2. (x)(Ix Rx) (x)(Cx Rx)
3. (x)(Cx Rx) (x)(Ax Rx)
4. (x)[Ax (Rx Lx)]
5. (x)(Ax Lx)
(x){Hx [Mx (Sx K)]}
/ (x)[Hx (Mx Kx)]
6. (Ix Ex) Rx
1, UI
7. (Ix Ex) Rx
6, Impl
8. Rx (Ix Ex)
7, Com
9. Rx (Ix Ex)
8, DM
10. (Rx Ix) (Rx Ex)
9, Dist
11. Rx Ix
10, Simp
12. Ix Rx
11, Com
13. Ix Rx
12, Impl
14. (x)(Ix Rx)
13, UG
15. (x)(Cx Rx)
2, 14, MP
16. (x)(Ax Rx)
3, 15, MP
17. Ax Rx
16, UI
18. Ax (Rx Lx)
4, UI
19. Ax (Lx Rx)
18, Trans
20. (Ax Lx) Rx
19, Exp
21. Rx Ax
17, Trans
22. (Ax Lx) Ax
20, 21, HS
23. (Lx Ax) Ax
22, Com
24. Lx (Ax Ax)
23, Exp
25. Lx (Ax Ax)
24, Impl
26. Lx Ax
25, Taut
27. Ax Lx
26, Trans
28. (x)(Ax Lx)
27, UG
29. (x){Hx [Mx (Sx K)]}
5, 28, MP
30. Hx [Mx (Sx K)]
29, UG
31. (Hx Mx) (Sx Kx)
30, Exp
32. (Hx Mx) (Sx Kx)
31, Impl
33. [(Hx Mx) Sx]
[(Hx Mx) Kx]
32, Dist
34. [(Hx Mx) Kx]
[(Hx Mx) Sx]
33, Com
35. (Hx Mx) Kx
34, Simp
36. (Hx Mx) Kx
35, Impl
37. Hx (Mx Kx)
36, Exp
38. (x)[Hx (Mx Kx)]
37, UG
20
The question of infants and mentally challenged adults raises an interesting point, Paul
says. I think what it comes down to is this. Something is considered to have rights if and only
if it looks human. Infants and mentally challenged adults look human, so they are considered to
have rights. But animals do not look human, so they are not considered to have rights.
[Note: This passage contains two arguments.]
1. (x)(Rx Lx)
2. (x)[(Ix Mx) Lx
/.(x)[(Ix Mx) Rx]
3. (Ix Mx) Lx
2, UI
4. Rx Lx
1, UI
5. (Rx Lx) (Lx Rx)
4, Equiv
6. (Lx Rx) (Rx Lx)
5, Com
7. Lx Rx
6, Simp
8. (Ix Mx) Rx
3, 7, HS
9. (x)[(Ix Mx) Rx]
8, UG
1. (x)(Rx Lx)
2. (x)(Ax L)
/ (x)(Ax Rx)
3. Ax Lx
2, UI
4. Rx Lx
1, UI
5. (Rx Lx) (Lx Rx)
4, Equiv
6. Rx Lx
5, Simp
7. Lx Rx
6, Trans
8. Ax Rx
3, 7, HS
9. (x)(Ax Rx)
8, UG
That sounds awfully arbitrary, says Mindy. But I think what it really comes down to
is power. Something is considered to have rights if and only if it has as much power as humans.
Animals do not have as much power as humans, so animals are not considered to have rights.
But that seems terribly wrong to me. It shouldnt be a question of power. Anyway, now that our
food has arrived, hows your steak?
1. (x)(Rx Px)
2. (x)(Ax Px)
/ (x)(Ax Rx)
3. Ax Px
2, UI
4. Rx Px
1, UI
5. (Rx Px) (Px Rx)
4, Equiv
6. Rx Px
5, Simp
7. Px Rx
6, Trans
8. Ax Rx
3, 7, HS
9. (x)(Ax Rx)
8, UG
Paul takes a bite. Its great, he says. And hows your stir-fry?
Great, Mindy says. She laughs. And so is my conscience.
Exercise 8.3
Part I
(1) 1. (x)Ax (x)Bx
2. (x)Bx
/ (x)Ax
21
Exercise 8.3, I
3. (x)Bx
4. (x)Ax
5. (x)Ax
2, QN
1, 3, MT
4, QN
/ (x)Ax
2, QN
1, Com
3, 4, DS
5, QN
(3) 1. (x)Ax
2. (x)Ax
3. Ax
4. Ax Bx
5. Ax Bx
6. (x)(Ax Bx)
/ (x)(Ax Bx)
1, QN
2, UI
3, Add
4, Impl
5, UG
/ (x)Ax
2, QN
3, UI
4, Add
5, DM
6, UG
7, QN
1, Com
8, 9, DS
/ (x)Bx
2, QN
3, EI
4, Add
5, Com
6, DM
7, EG
8, QN
1, Com
9, 10, DS
11, UI
12, Com
13, Simp
14, UG
22
Exercise 8.3, I
/ (x)Cx
3, QN
4, EI
1, UI
5, 6, MT
7, EG
8, QN
2, Com
9, 10, DS
11, QN
/ (x)Cx (x)Ax
1, QN
2, 3, HS
4, Trans
5, QN
/ (x)Ax
2, QN
1, 3, MT
4, QN
5, UI
6, DM
7, Simp
8, UG
23
Exercise 8.3, I
10. (x)Ax
(10) 1. (x)(Ax Bx)
2. (x)(Bx Cx)
3. (x)(Ax Bx)
4. (x)(Bx Cx)
5. (Ax Bx)
6. (Bx Cx)
7. Ax Bx
8. Ax Bx
9. Bx Cx
10. Bx Cx
11. Ax Bx
12. Bx Cx
13. Ax Cx
14. (x)(Ax Cx)
9, QN
/ (x)(Ax Cx)
1, QN
2, QN
3, UI
4, UI
5, DM
7, DN
6, DM
9, DN
8, Impl
10, Impl
11, 12, HS
13, UG
/ (x)Bx
2, QN
3, EI
4, Impl
5, DM
6, DN
1, UI
7, Com
9, Simp
8, 10, MT
11, DM
6, Simp
24
Exercise 8.3, I
14. Bm
15. (x)Bx
16. (x)Bx
12, 13, DS
14, EG
15, QN
/ (x)Ax
2, QN
3, UI
4, DM,
5, Simp
6, UG
7, QN
1, 8, MT
9, QN
10, EI
11, DM
12, DN
5, Com
14, Simp
15, UG
16, UI
13, Com
17, 18, DS
19, EG
20, QN
/ (x)Cx
1, Trans
4, QN
2, 5, HS
6, Impl
7, Taut
8, QN
9, UI
3, UI
10, 11, MP
12, UG
/ (x)(Cx Dx)
1, QN
4, UI
25
Exercise 8.3, I
6. Ax Bx
7. Ax
8. Bx Ax
9. Bx
10. (x)Ax
11. (x)Bx
12. (x)Ax
13. (x)Bx
14. (x)Cx
15. (x)Dx
16. (x)Cx
17. (x)Dx
18. Cx
19. Dx
20. Cx Dx
21. (Cx Dx)
22. (x)(Cx Dx)
23. (x)(Cx Dx)
5, DM
6, Simp
6, Com
8, Simp
7, UG
9, UG
10, QN
11, QN
2, 12, MT
3, 13, MT
14, QN
15, QN
16, UI
17, UI
18, 19, Conj
20, DM
21, UG
22, QN
Exercise 8.3, I
5. (x)Ex
6. (x)(Ax Cx)
7. (x)(Ax Cx)
8. (x)(Ax Cx)
9. Ax Cx
10. Ax
11. Ax Bx
12. (Ax Bx)
13. (x)(Ax Bx)
14. (x)(Ax Bx)
15. (x)(Cx Dx)
16. Cn Dn
17. An Cn
18. Cn An
19. Cn
20. Dn
21. (x)Dx
(18) 1. (x)Ax [(x)Bx (x)Cx]
2. (x)(Ax Cx)
3. (x)Cx [(x)Fx (x)Bx]
4. An Cn
5. An
6. (x)Ax
7. (x)Bx (x)Cx
8. Cn An
9. Cn
10. (x)Cx
11. (x)Cx
12. (x)Fx (x)Bx
13. (x)Cx (x)Bx
14. (x)Bx
15. (x)Bx
16. (x)Fx
17. (x)Fx
4, 4, QN
2, 5, MT
6, QN
7, DM
8, UI
9, Simp
10, Add
11, DM
12, UG
13, QN
1, 14, DS
15, EI
8, UI
17, Com
18, Simp
16, 19, DS
20, EG
/ (x)Fx
2, EI
4, Simp
5, EG
1, 6, MP
4, Com
8, Simp
9, EG
10, QN
3, 11, MP
7, Com
11, 13, DS
14, QN
12, 15, MP
16, QN
Exercise 8.3, I
11. An Bn
12. Bn An
13. Bn
14. Bn
15. An
16. (x)Ax
17. (x)Ax
(20) 1. (x)Ax (x)(Bx Ax)
2. (x)Bx (x)(Ex Bx)
3. An
4. (x)Ax
5. (x)(Bx Ax)
6. (x)(Bx Ax)
7. (Bn An)
8. Bn An
9. An Bn
10. An
11. Bn
12. (x)Bx
13. (x)Bx
14. (x)(Ex Bx)
15. (x)(Ex Bx)
16. (En Bn)
17. En Bn
18. En Bn
19. Bn En
20. En
21. (x)Ex
22. (x)Ex
10, DM
11, Com
2, Simp
13, DN
12, 14, DS
15, EG
16, QN
/ (x)Ex
3, EG
1, 4, MP
5, QN
6, UI
7, DM
8, Com
3, DN
9, 10, DS
11, EG
12, QN
2, 13, MP
14, QN
15, UI
16, DM
17, DN
18, Com
11, 19, DS
20, EG
21, QN
Part II
(1) 1. (x)[Px (Hx Nx)] (x)Cx
2. Cf
3. (x)Cx
4. (x)Cx
5. (x)[Px (Hx Nx)]
6. (x)[Px (Hx Nx)]
7. [Pm (Hm Nm)]
8. [Pm (Hm Nm)]
9. Pm (Hm Nm)
10. Pm
11. Pm
12. (Hm Nm) Pm
/ (x)(Px Nx)
2, EG
3, DN
1, 4, MT
5, QN
6, EI
7, Impl
8, DM
9, Simp
10, DN
9, Com
28
Exercise 8.3, II
12, Simp
13, DM
14, Com
15, Simp
11, 16, Conj
17, EG
/ Pa
2, QN
3, UI
1, 4, DS
5, UI
4, 6, MT
/ (x)Px
2, QN
3, UI
4, Add
5, Com
6, DM
7, UG
8, QN
1, Com
9, 10, DS
11, EI
12, Com
13, Simp
14, EG
/ (x)(Px Ax)
2, QN
3, UI
29
Exercise 8.3, II
5. Px Ix
6. Ix Px
7. Ix Px
8. (Px Ax) Ix
9. (Px Ax) Px
10. (Ax Px) Px
11. Ax (Px Px)
12. Ax (Px Px)
13. Ax Px
14. Px Ax
15. (x)(Px Ax)
(6) 1. (x)(Ix Px)
2. (x)(Px Dx)
3. (x)(Ix Px)
4. (x)(Px Dx)
5. (Ix Px)
6. (Px Dx)
7. Ix Px
8. Ix Px
9. Px Dx
10. Px Dx
11. Ix Px
12. Px Dx
13. Ix Dx
14. (x)(Ix Dx)
4, DM
5, Com
6, Impl
1, UI
7, 8, HS
9, Com
10, Exp
11, Impl
12, Taut
13, Trans
14, UG
/ (x)(Ix Dx)
1, QN
2, QN
3, UI
4, UI
5, DM
7, DN
6, DM
9, DN
8, Impl
10, Impl
11, 12, HS
13, UG
/ (x)(Px Ix)
2, QN
3, UI
4, DM
1, Simp
1, Com
7, Simp
6, UI
8, UI
9, Trans
10, Trans
11, 12, Conj
5, 13, CD
14, DM
15, UG
16, QN
30
Exercise 8.3, II
/ (x)(Cx Gx)
1, QN
4, UI
31
Exercise 8.3, II
6. Px (Gx Hx)
7. Px (Gx Hx)
8. (Px Gx) (Px Hx)
9. Px Gx
10. (Px Hx) (Px Gx)
11. Px Hx
12. (Px Hx)
13. Nx (Px Hx)
14. Nx
15. Nx Px
16. Px Nx
17. (Px Nx)
18. (x)(Px Nx)
19. (x)(Px Nx)
20. (x)(Px Nx) (x)(Px Cx)
21. (x)(Px Cx)
22. Pm Cm
23. (x)(Px Gx)
24. Pm Gm
25. Pm
26. Pm
27. Gm
28. Cm Pm
29. Cm
30. Cm Gm
31. (x)(Cx Gx)
5, DM
6, DM
7, Dist
8, Simp
8, Com
10, Simp
11, DM
2, UI
12, 13, MT
14, Add
15, Com
16, DM
17, UG
18, QN
3, Com
19, 20 DS
21, EI
9, UG
23, UI
22, Simp
25, DN
24, 26, DS
22, Com
28, Simp
27, 29, Conj
30, EG
Exercise 8.4
Part I
(1) 1. (x)(Ax Bx)
2. (x)(Ax Cx)
3. Ax
4. Ax Bx
5. Ax Cx
6. Bx
7. Cx
8. Bx Cx
9. Ax (Bx Cx)
10. (x)[Ax (Bx Cx)]
/ (x)(Ax Ex)
ACP
3, EG
32
Exercise 8.4, I
5. (x)(Bx Cx)
6. Bm Cm
7. Cm Bm
8. Cm
9. Cm Dm
10. (x)(Cx Dx)
11. (x)Ex
12. Ex
13. Ax Ex
14. (x)(Ax Ex)
(3) 1. (x)Ax (x)(Bx Cx)
2. (x)Cx
3. (x)Ax
4. (x)Ax
5. (x)(Bx Cx)
6. Bm Cm
7. Cm Bm
8. Cm
9. (x)Cx
10. Cm
11. Cm Cm
12. (x)Ax
13. (x)Ax
1, 4, MP
5, EI
6, Com
7, Simp
8, Add
9, EG
2, 10, MP
11, UI
3-12, CP
13, UG
/ (x)Ax
AIP
3, QN
1, 4, MP
5, EI
6, Com
7, Simp
2, QN
9, UI
8, 10, Conj
3-11, IP
12, DN
/ (x)Ax (x)Bx
ACP
3, EI
1, UI
4, 5, MP
6, EG
2, 7, MP
8, EI
9, Simp
10, EG
3-11, CP
/ (x)(Ax Cx)
ACP
1, UI
2, UI
3, 4, MP
3, 6, Conj
5, 7, MP
33
Exercise 8.4, I
9. Ax Cx
10. (x)(Ax Cx)
(6) 1. (x)Ax (x)Bx
2. An Bn
3. An
4. Bn
5. (x)Ax
6. (x)Bx
7. Bn
8. Bn Bn
9. An
3-8, CP
9, UG
/ An
AIP
2, 3, MP
3, EG
1, 5, MP
6, UI
4, 7, Conj
3-8, IP
/ (x)(Ax Ex)
ACP
1, UI
2, UI
3, Add
4, 6, MP
7, Add
5, 8, MP
3-9, CP
10, UG
/ (x)Ax
AIP
2, QN
3, EI
4, Add
5, EG
1, 6, MP
7, QN
8, UI
4, 9, Conj
2-10, IP
11, DN
Exercise 8.4, I
9. (x)(Bx Dx)
10. (x)(Ax Cx) (x)(Bx Dx)
8, EG
3-9, CP
/ (x)Bx
AIP
3, QN
1, UI
1, UI
5, 6, Conj
2, 7, CD
4, UI
8, 9, DS
4, UI
10, 11, Conj
3-12, IP
13, DN
/ (x)Ax
AIP
3, QN
4, EI
1, UI
5, Add
6, 7, MP
2, UI
8, Add
9, 10, MP
5, 11, Conj
3-12, IP
13, DN
Exercise 8.4, I
13. Bx
14. (Ax Dx) Bx
15. (x)[(Ax Dx) Bx]
7, 12, MT
3-13, CP
14, UG
/ (x)Cx
AIP
3, QN
4, UI
2, UI
5, 6, MT
7, UG
8, QN
1, 9, DS
10, EI
11, Com
12, Simp
4, UI
13, 14, Conj
3-15, IP
16, DN
/ (x)(Ax Ex)
ACP
3, EG
1, 4, MP
5, EI
6, Com
36
Exercise 8.4, I
8. Cm
9. (x)Cx
10. (x)(Dx Ex)
11. Dx Ex
12. Ex Dx
13. Ex
14. Ax Ex
15. (x)(Ax Ex)
(16) 1. (x)[(Ax Bx) Cx]
2. (x)(Ax Dx) (x)Ex
3.(x)Cx
4. (x)Cx
5. Cm
6. (Am Bm) Cm
7. (Am Bm)
8. Am Bm
9. Am
10. Am Dm
11. (x)(Ax Dx)
12. (x)Ex
13. (x)Cx (x)Ex
14. (x)Cx (x)Ex
15. (x)Cx (x)Ex
7, Simp
8, EG
2, 9, MP
10, UI
11, Com
12, Simp
3-13, CP
14, UG
/ (x)Cx (x)Ex
ACP
3, QN
4, EI
1, UI
5, 6, MT
7, DM
8, Simp
9, Add
10, EG
2, 11, MP
3-12, CP
13, Impl
14, DN
/ (x)Ax (x)Cx
1, Equiv
ACP
3, Simp
4, 5, MP
6, EI
7, Com
8, Simp
9, EG
4-10, CP
ACP
12, EI
2, UI
13, 14, MP
13, 15, Conj
15, EG
3, Com
18, Simp
17, 19, MP
12-20, CP
Exercise 8.4, I
/ (x)Cx
AIP
4, QN
5, UI
2, UI
7, Exp
6, 8, MT
1, UI
10, Equiv
9, 11, DS
12, Simp
13, UG
14, QN
3, 15, DS
12, Com
17, Simp
18, UG
19, QN
16, 20, Conj
4-21, IP
22, DN
Exercise 8.4, I
7. Cx Bx
8. Cx
9. Cx Dx
10. Dx
11. Dx (Ex Fx)
12. Ex Fx
13. Fx Ex
14. Fx
15. Ax Fx
16. (x)(Ax Fx)
17. (x)(Cx Dx) (x)(Ax Fx)
(21) 1. (x)(Ax Bx)
2. (x)Ax (x)(Cx Bx)
3. (x)Cx
4. Am Bm
5. (x)Bx
6. (x)Bx
7. Bm
8. Bm Am
9. Am
10. (x)Ax
11. (x)(Cx Bx)
12. Cn
13. Cn Bn
14. Bn
15. Bn
16. Bn Bn
17. (x)Bx
18. (x)Bx
(22) 1. (x)Ax (x)Bx
2. (x)(Ax Bx)
3. (x)(Ax Bx)
4. (x)(Ax Bx)
5. An Bn
6. An
7. (x)Ax
8. (x)Ax
9. (x)Bx
10. Bn
11. Bn An
12. Bn
13. Bn Bn
14. (x)(Ax Bx)
15. (x)(Ax Bx)
6, Com
7, Simp
3, UI
8, 9, MP
2, UI
10, 11, MP
12, Com
13, Simp
4-14, CP
15, UG
3-16, CP
/ (x)Bx
1, EI
AIP
5, QN
6, UI
4, Com
7, 8, DS
9, EG
2, 10, MP
3, EI
11, UI
12, 13, MP
6, UI
14, 15, Conj
5-16, IP
17, DN
/ (x)(Ax Bx)
AIP
2, QN
3, DM
4, EI
5, Simp
6, EG
7, QN
1, 8, DS
9, UI
5, Com
11, Simp
10, 12, Conj
2-13, IP
14, DN
39
Exercise 8.4, I
/ (x)Bx
AIP
3, 4, MT
5, QN
6, DM
7, UI
8, Simp
9, Add
10, DM
11, Com
12, UG
13, QN
2, 14, MT
15, DN
16, EI
1, UI
17, 18, MP
19, EG
4, 20, Conj
4-21, IP
22, DN
Exercise 8.4, I
Part II
(1) 1. (x)(Ax Wx)
2. (x)(Rx Cx)
3. Rx Ax
4. Rx
5. Ax Rx
6. Ax
7. Ax Wx
8. Rx Cx
9. Cx
10. Wx
11. Cx Wx
12. (Rx Ax) (Cx Wx)
13. (x)[(Rx Ax) (Cx Wx)]
Exercise 8.4, II
2. (x)(Wx Sx) Vo
3. (x)Sx
4. Sm
5. Sm Wm
6. Wm
7. Wm Sm
8. (x)(Wx Sx)
9. Vo
10. (x)Sx Vo
/ (x)Sx Vo
ACP
3, EI
1, UI
4, 5, MP
4, 6, Conj
7, EG
2, 8, MP
3-9, CP
/ (x)(Ax Rx)
AIP
1, 3, MT
4, QN
5, EI
6, Impl
7, DM
8, DN
2, 3, MT
10, QN
11, UI
12, DM
13, DN
9, Simp
15, DN
14, 16, DS
9, Com
18, Simp
17, 19, Conj
3-20, IP
21, DN
/ (x)(Sx Ax)
ACP
3, Add
1, UI
4, 5, MP
6, Com
7, Simp
8, Add
2, UI
9, 10, MP
11, Com
12, Simp
42
Exercise 8.4, II
14. Sx Ax
15. (x)(Sx Ax)
3-13, CP
14, UG
/ (x)Lx
AIP
2, 4, MT
5, QN
6, UI
7, DM
8, Simp
9, Add
10, DM
11, UG
12, QN
1, 13, MT
3, Com
14, 15, DS
8, Com
17, Simp
18, UG
19, QN
16, 20, Conj
4-21, IP
22, DN
43
Exercise 8.4, II
/ (x)(Dx Sx)
AIP
2, 3, MT
4, QN
5, EI
6, Impl
7, DM
8, DN
9, DN
10, Simp
11, EG
1, 12, MP
13, UI
10, Com
15, Simp
14, 16, MP
17, Com
18, EG
3, 19, Conj
3-20, IP
21, DN
Exercise 8.4, II
9. (Rm Pm)
10. (x)(Rx Px)
11. (x)(Rx Px)
12. (x)(Rx Px) (x)(Sx Px)
13. (x)(Sx Px)
14. (x)(Sx Px)
15. (x)(Sx Px)
16. (x)(Sx Px)
17. (x)(Wx Px)
18. Wm Pm
19. Wm (Rm Pm)
20. Wm
21. Pm
22. Pm Rm
23. Pm
24. Pm Pm
25. (x)[(Rx Px) Wx]
(10) 1. (x)(Gx Px) (x)(Ax Px)
2. (x)Px (x)[Ax (Cx Dx)]
3. (x)(Dx Cx)
4. (x)(Dx Cx)
5. (Dx Cx)
6. (Cx Dx)
7. (Cx Dx) Ax
8. Ax (Cx Dx)
9. [Ax (Cx Dx)]
10. (x)[Ax (Cx Dx)]
11. (x)[(Ax (Cx Dx)]
12. (x)Px
13. (x)Px
14. Px
15. Px Gx
16. Gx Px
17. (Gx Px)
18. (x)(Gx Px)
19. (x)(Gx Px)
20. (x)(Ax Px)
21. Am Pm
22. Pm Am
23. Pm
24. Pm
25. Pm Pm
26. (x)(Dx Cx)
27. (x)(Dx Cx)
8, Impl
9, EG
10, QN
1, Com
11, 12, DS
13, Impl
14, DM
15, QN
2, 16, DS
17, UI
4, Com
19, Simp
18, 20, MP
5, Com
22, Simp
21, 23, Conj
3-24, IP
/ (x)(Dx Cx)
AIP
3, QN
4, UI
5, Com
6, Add
7, Com
8, DM
9, UG
10, QN
2, 11, MT
12, QN
13, UI
14, Add
15, Com
16, DM
17, UG
18, QN
1, 19, DS
20, EI
21, Com
22, Simp
13, UI
23, 24, Conj
3-25, IP
26, DN
45
Exercise 8.4, II
46
Exercise 8.5, II
Part II
(1) 1. (x)(Ax Bx)
2. (x)(Ax Cx)
/ (x)(Bx Cx)
/ (x)(Ax Bx)
47
Exercise 8.5, II
/ (x)(Ax Cx)
/ (x)(Ax Bx)
/ (x)(Ax Bx)
/ (x)(Tx Ox)
49
Exercise 8.6, I
Exercise 8.6
Part I
1. Rcp
2. (x)(Rxp Ex)
3. Fje Fjc
4. (x)Fxj Fmj
5. (x)(Tjx Gx)
6. (x)(Mx Tnx)
7. (x)[Px (y)Sxy]
8. (x)[Px (y)Sxy]
9. (x)[Px (y)Sxy]
10. (x)[Px (y)Sxy]
11. (x)[(Dx Srx) Gx] (assuming the hotel also serves food)
(x)[Srx (Gx Dx)] (assuming the hotel serves no food)
12. (x)(Pcx Acx)
13. (x)[(Cx Lx) Dpx]
14. (x)[(Cx Lx) Djx]
15. (x)(Isx Fxs)
16. (x)(Fxc Icx)
17. (x)[Px (y)(Txy Bxy)]
18. (x){Px (y)[(Py Syx) Sxy]}
19. (x){Px (y)[Py (Mxy Axy)]}
20. (x){Px (y)[(Py Mxy) Axy]}
21. (x)[Px (y)(Axy Ty)]
22. (x){Px (y)[(Ty Sxy) Axy]}
50
Exercise 8.6, I
/ (y)Bmy
1, UI
2, 3, MP
/ Cmn
1, UI
2, Simp
3, 4, MP
5, UI
2, Com
7, Simp
6, 8, MP
/ (x)Cxj
1, EI
3, Simp
4, EG
2, 5, MP
3, Com
7, Simp
8, UI
6, 9, MP
10, EG
51
Exercise 8.6, II
/ (x)Ax (y)By
ACP
2, UI
1, UI
4, EI
3, 5, MP
6, EG
2-7, CP
/ (y)(x)(Ax By)
ACP
2, EG
1, 3, MP
4, EI
2-5, CP
6, UG
7, EG
/ (x)Bxx
1, EI
2, Simp
2, Com
4, Simp
5, UI
3, 6, MP
7, EG
/ (x)(y)Cxy
1, EI
3, Simp
3, Com
52
Exercise 8.6, II
6. (y)(By Cmy)
7. (y)(Am By)
8. Am Bn
9. Bn
10. Bn Cmn
11. Cmn
12. (y)Cmy
13. (x)(y)Cxy
(9) 1. (x)(y)(Axy Bxy)
2. (x)(y)Bxy
3. (y)(Amy Bmy)
4. (y)Bmy
5. Bmn
6. Amn Bmn
7. Amn
8. (y)Amy
9. (x)(y)Axy
10. (x)(y)Axy
11. (x)(y)Axy
5, Simp
2, UI
7, EI
4, 8, MP
6, UI
9, 10, MP
11, EG
12, EG
/ (x)(y)Axy
1, EI
2, UI
4, EI
3, UI
5, 6, MT
7, EG
8, EG
9, QN
10, QN
/ (x)(y)Axy
2, QN
3, QN
1, 4, MT
5, QN
6, QN
/ (x)Cx
1, EI
3, Simp
2, UI
4, 5, MP
6, EG
3, Com
8, Simp
7, 9, MP
10, EG
/ (y)[Ay (x)Cxy]
ACP
2, UI
3, 4, MP
53
Exercise 8.6, II
6. Ay By
7. (y)[(Ay By) Cmy]
8. (Ay By) Cmy
9. Cmy
10. (x)Cxy
11. Ay (x)Cxy
12. (y)[Ay (x)Cxy]
3, 5, Conj
1, EI
7, UI
6, 8, MP
9, EG
3-10, CP
11, UG
/ (x)Axx
1, EI
2, UI
3, Impl
4, Taut
5, EG
6, QN
54
Exercise 8.6, II
/ (x)Ax Cmn
ACP
3, EI
1, UI
4, 5, MP
6, EG
2, 7, MP
8, QN
9, QN
10, UI
11, UI
3-12, CP
/ (x)(y)Axy
1, EI
2, UI
4, EI
3, UI
5, 6, HS
7, Impl
8, Taut
9, EG
10, EG
11, QN
12, QN
/ (x)(y)(Cxy Dxy)
2, EI
1, UI
3, Simp
4, 5, MP
6, EI
3, Com
8, Simp
9, UI
7, Simp
10, 11, MP
7, Com
13, Simp
12, 14, Conj
15, EG
16, EG
55
Exercise 8.6, II
/ (x)(y)(Cx Axy)
ACP
2, EI
4, UI
3, 5, MP
6, EG
7, EG
8, QN
9, QN
1, Com
10, 11, DS
12, EI
13, UI
3-14, CP
15, EG
16, UG
/ (x)(y)Axy
AIP
3, EI
4, EI
1, UI
6, UI
5, 7, MP
8, Simp
2, UI
10, UI
9, Add
11, 12, MP
5, 13, Conj
3-14, IP
Part III
(1) 1. (x)[Px (y)(Ay Oxy)]
2. Pj Ojm
3. Pj (y)(Ay Ojy)
4. Pj
5. (y)(Ay Ojy)
6. Am Ojm
7. Ojm Pj
8. Ojm
9. Am
/ Am
1, UI
2, Simp
3, 4, MP
5, UI
2, Com
7, Simp
6, 9, MT
56
/ Fam Re
ACP
3, EG
2, 4, MP
1, UI
5, Add
6, 7, MP
3-8, CP
/ Co
AIP
2, UI
1, 4, Conj
5, 6, MP
3, UI
1, 8, MP
7, 9, Conj
4-10, IP
/ (x)(Bx Cx)
2, EI
3, Simp
1, UI
4, 5, MP
3, Com
7, Simp
6, 8, MT
9, QN
57
10, EI
11, Impl
12, DM
13, DN
14, EG
/ Crr
1, UI
3, Exp
2, 4, MP
5, Impl
6, DN
7, Taut
/ Jm
3, Simp
4, EI
1, UI
5, 6, MP
7, UI
3, Com
9, Simp
8, 10, MP
2, UI
5, 11, Conj
13, EG
58
12. (x)Cx
13. Cn
14. Cn An
15. An
16. Cn An
17. (y)(Cy Ay)
18. Em
19. Im Em
20. (x)(Ix Ex)
21. (x)Tx (x)(Ix Ex)
11, Simp
12, EI
3, UI
13, 14, MP
13, 15, Conj
16, EG
10, 17, MP
8, 18, Conj
19, EG
4-20, CP
Exercise 8.7
Part I.
Simple identity statements:
1. s = g
2. r m
3. m = b
4. h g
Statements involving "only," "the only," and "no except":
5. Wp (x)(Wx x = p)
6. Pl (x)(Px x = l)
7. Na Ma (x)[(Nx Mx) x = a]
8. Nc Mc (x)[(Nx Mx) x = c]
9. Uw Fw Ua Fa (x)[(Ux Fx) (x = w x = a)]
10. Sh Wh (x)[(Sx Wx) x = h]
11. Sh Ph (x)[(Sx Px) x = h]
Superlative statements:
12. Eh (x)[(Ex x h) Lhx]
13. Pm (x)[(Px x m) Smx]
14. Ah Uh (x)[(Ax Ux x h) Ohx]
15. Rd Nd (x)[(Rx Nx x d) Ldx]
Statements involving "all except":
16. Ci Si (x)[(Cx x i) Sx]
17. Uf Wf (x)[(Ux x f) Wx]
18. Mm Sm (x)[(Mx x m) Sx]
19. Pc Wc (x)[(Px x c) Wx]
Numerical statements:
20. (x)(y)[(Cx Bx Cy By) x = y]
21. (x)(y)(z)[(Nx Sx Ny Sy Nz Sz) (x = y x = z y = z)]
22. (x)(y)[(Nx Jx Ny Jy) x = y]
23. (x)(y)(z)[(Cx Mx Cy My Cz Mz) (x = y x = z y = z)]
60
Exercise 8.7, I
/ Ra
2, EI
1, UI
3, 4, Id
/en
AIP
1, 3, Id
1, 2, Conj
61
Exercise 8.7, II
6. e n
3-5, IP
/ Nc
1, UI
Id
2, 3, MP
(4) 1. (x)(x = g)
2. (x)(x = i)
3. n = g
4. n = i
5. g = n
6. g = i
/g=i
1, EI
2, UI
3, Id
4, 5, Id
(5) 1. (x)(Gx x = a)
2. (x)(Gx Hx)
3. Ge He
4. Ge e = a
5. Ge
6. e = a
7. He Ge
8. He
9. Ha
/ Ha
2, EI
1, UI
3, Simp
4, 5, MP
3, Com
7, Simp
6, 8, Id
/ci
AIP
1, UI
2, Simp
4, 5, MP
3, 6, Id
2, Com
8, Simp
7, 9, Conj
3-10, IP
(7) 1. (x)(x = a)
2. Fa
3. m = a
4. a = m
5. Fm
6. n = a
7. a = n
8. Fn
9. Fm Fn
/ Fm Fn
1, UI
3, Id
2, 4, Id
1, UI
6, Id
2, 7, Id
5, 8, Conj
62
Exercise 8.7, II
(8) 1. (x)(x = r)
2. Hr Kn
3. n = r
4. Hr
5. r = n
6. Hn
7. Kn Hr
8. Kn
9. Kr
10. Hn Kr
/ Hn Kr
1, UI
2, Simp
3, Id
4, 5, Id
2, Com
7, Simp
3, 8, Id
6, 9, Conj
(9) 1. (x)(Lx x = e)
2. (x)(Sx x = i)
3. (x)(Lx Sx)
4. Ln Sn
5. Ln n = e
6. Ln
7. n = e
8. Sn n = i
9. Sn Ln
10. Sn
11. n = i
12. i = n
13. i = e
/i=e
3, EI
1, UI
4, Simp
5, 6, MP
2, UI
4, Com
9, Simp
8, 10, MP
11, Id
7, 12, Id
(10) 1. (x)(Px x = a)
2. (x)(x = c Qx
3. a = c
4. Px
5. Px x = a
6. x = a
7. x = c
8. x = c Qx
9. Qx
10. Px Qx
11. (x)(Px Qx)
/ (x)(Px Qx)
ACP
1, UI
4, 5, MP
3, 6, Id
2, UI
7, 8, MP
4-9, CP
10, UG
(11) 1. (x)(y)(Txy x = e)
2. (x)Txi
3. Tni
4. (y)(Tny n = e)
5. Tni n = e
6. n = e
7. Tei
/ Tei
2, EI
1, UI
4, UI
3, 5, MP
3, 6, Id
63
Exercise 8.7, II
/ Rc Hm
ACP
1, UI
2, 3, MP
4, Simp
4, Com
6, Simp
5, 7, Id
2-8, CP
/ac
AIP
3, Id
2, 4, Id
1, UI
5, 6, MP
4, 7, Conj
3-8, IP
/ Gn Ki
ACP
2, EG
1, 3, MP
4, EI
5, Simp
5, Com
7, Simp
6, 8, Id
2-9, CP
/ca
AIP
1, IU
2, UI
3, 5, Id
4, 6, MP
5, 7, Conj
3-8, IP
/ Ne
AIP
1, UI
3, 4, MP
5, Simp
64
Exercise 8.7, II
7. e = m Pe
8. e = m
9. Pm
10. Pm Pm
11. Ne
5, Com
7, Simp
6, 8, Id
2, 9, Conj
3-10, IP
(17) 1. (x)(Fx x = e)
2. (x)(Fx x = a)
3. Fn n = a
4. Fn n = e
5. Fn
6. n = e
7. n = a Fn
8. n = a
9. a = n
10. a = e
/a=e
2, EI
1, UI
3, Simp
4, 5, MP
3, Com
7, Simp
8, Id
6, 9, Id
/ He
2, EI
1, UI
3, Simp
4, 5, MP
6, Simp
3, Com
8, Simp
9, Id
7, 10, Id
6, Com
12, Simp
11, 13, Id
(19) 1. (x)(y)(Cxy x = y)
2. (x)(y)(Cxy x = a)
3. (y)(Cny n = a)
4. (y)(Cay a = y)
5. Cam a = m
6. Cnm n = a
7. Cnm
8. n = a Cnm
9. n = a
10. Cam
11. a = m
12. m = a
13. Caa
/ Caa
2, EI
1, UI
4, EI
3, UI
6, Simp
6, Com
8, Simp
7, 9, Id
5, 10, MP
11, Id
10, 12, Id
65
Exercise 8.7, II
/ Fm He
ACP
1, UI
3, 4, MP
5, Simp
5, Com
7, Simp
6, 8, Id
2, 9, MP
10, EI
11, Simp
11, Com
13, Simp
12, 14, Id
3-15, CP
Part III.
(1) 1. (x)(Nx Wjx Ix)
2. Nc Wjc (x)[(Nx Wjx) x = c]
3. Na Wja Ia
4. (x)[(Nx Wjx) x = c] Nc Wjc
5. (x)[(Nx Wjx) x = c]
6. (Na Wja) a = c
7. Na Wja
8. a = c
9. Ia Na Wja
10. Ia
11. Ic
/ Ic
1, EI
2, Com
4, Simp
5, UI
3, Simp
6, 7, MP
3, Com
9, Simp
8, 10, Id
/ Orw
1, Com
4, Simp
5, UI
2, 3, Conj
6, 7, MP
/ Fl
1, EI
2, EI
4, Com
5, Com
7. (y)[(Ay Pym) y = c]
8. (Aa Pam) a = c
9. Aa Pam
10. a = c
11. c = l
12. a = l
13. Fa Aa Pam (y)[(Ay Pym) y = a]
14. Fa
15. Fl
6, Simp
7, UI
3, Simp
8, 9, MP
5, Simp
10, 11, Id
3, Com
13, Simp
12, 14, Id
/ Wmk
1, EI
3, Com
4, Simp
5, UI
5, AIP
6, 7, MP
3, Com
10, Simp
8, Id
10, 11, Id
2, Com
13, Simp
12, 14, Conj
7-15, IP
4. Lc Tc Dc Bc (y)[(Dy By) y = c]
5. (y)[(Dy By) y = c] Lc Tc Dc Bc
6. (y)[(Dy By) y = c]
7. (Da Ba) a = c
8. a = c
9. Lc
10. c = a
11. La
12. La
13. La La
14. a c
15. (Da Ba)
16. Da Ba
17. Da La
18. Da
19. Da
20. Ba
3, Com
4, Com
5, Simp
6, UI
AIP
4, Simp
8, Id
9, 10, Id
2, Simp
11, 12, Conj
6-10, IP
7, 14, MT
15, DM
2, Com
17, Simp
18, DN
16, 19, DS
/ Ge Sn
1, Com
4, Simp
5, UI
2, Simp
3, Id
7, 8, Conj
6, 9, MP
2, Com
11, Simp
12, UI
1, Simp
3, 14, Conj
13, 15, MP
10, 16, Conj
/a=w
3, EI
1, Com
5, Simp
6, UI
4, Simp
7, 8, MP
2, Com
68
10, Simp
11, UI
4, Com
13, Simp
14, Com
12, 15, MP
8, Id
16, 17, Id
/ Cw
2, EI
1, Com
5, Simp
7. (Ba a w) Twa
8. a w
9. Ba
10. Ba a w
11. Twa
12. (y)[(By y a) Tay] Ca Ba
13. (y)[(By y a) Tay]
14. (Bw w a) Taw
15. Bw
16. w a
17. Bw w a
18. Taw
19. (y)(Tay Tya)
20. Taw Twa
21. Twa
22. Twa Twa
23. ( a w)
24. a = w
25. Ca Ba (y)[(By y a) Tay]
26. Ca
27. Cw
6, UI
AIP
4, Simp
8, 9, Conj
7, 10, MP
4, Com
12, Simp
13, UI
1, Simp
8, Id
15, 16, Conj
14, 17, MP
3, UI
19, UI
18, 20, MP
11, 21, Conj
8-22, IP
23, DN
4, Com
25, Simp
24, 26, Id
(11) 1. (x)(y)(Px Lx Py Ly x y)
2. Pr Fr Lr (y)[(Py Fy Ly) y = r]
3. (x)(Px Lx Fx)
4. (y)(Pa La Py Ly a y)
5. Pa La Pc Lc a c
6. (y)[(Py Fy Ly) y = r] Pr Fr Lr
7. (y)[(Py Fy Ly) y = r]
8. (Pa Fa La) a = r
9. (Pc Fc Lc) c = r
10. (x)(Px Lx Fx)
11. (Pa La Fa)
12. Pa La Fa
13. (Pa La) Fa
14. Pa La
15. (Pa La)
16. Fa
17. Fa
18. Pa La Fa
19. Pa Fa La
20. a = r
21. (Pc Lc Fc)
22. Pc Lc Fc
23. (Pc Lc) Fc
24. a c Pa La Pc Lc
70
/ (x)(Px Lx Fx)
AIP
1, EI
4, EI
2, Com
6, Simp
7, UI
7, UI
3, QN
10, UI
11, DM
12, DM
5, Simp
14, DN
13, 15, DS
16, DN
14, 17, Conj
18, Com
8, 19, MP
10, UI
21, DM
22, DM
5, Com
25. Pc Lc a c Pa La
26. Pc Lc
27. (Pc Lc)
28. Fc
29. Fc
30. Pc Lc Fc
31. Pc Fc Lc
32. c = r
33. r = c
34. a = c
35. a c
36. a = c a c
37. (x)(Px Lx Fx)
38. (x)(Px Lx Fx)
24, Com
25, Simp
26, DN
23, 27, DS
28, DN
26, 29, Conj
30, Com
9, 31, MP
32, Id
20, 33, Id
24, Simp
34, 35, Conj
3-36, IP
37, DN
31. Ra a p Da Ba
32. Ra
33. Rf
34. Rf (x)[(Dx x f) Rx] Df
35. Rf
36. Rf Rf
37. (y)[(Dy By Ry) y = p]
38. (y)[(Dy By Ry) y = p]
39. Dp Bp Rp (y)[(Dy By Ry) y = p]
40. (x){Dx Bx Rx (y)[(Dy By Ry) y = x]}
27, Com
31, Simp
30, 32, Id
3, Com
34, Simp
33, 35, Conj
16, 36, IP
37, DN
15, 38, Conj
39, EG
(13) 1. (x)(y)(Ax Ox Ay Oy x y)
2. (x)(Ax Px)
3. (x)(y)(z)[(Px Ox Py Oy Pz Oz) (x = y x = z y = z)]
/ (x)(y){Px Ox Py Oy x y (z)[(Pz Oz) (z = x z = y]}
4. (y)(Aa Oa Ay Oy a y)
1, EI
5. Aa Oa Ab Ob a b
4, EI
6. Aa Pa
2, UI
7. Aa
5, Simp
8. Pa
6, 7, MP
9. Ab Pb
2, UI
10. Ab Ob a b Aa Oa
5, Com
11. Ab
10, Simp
12. Pb
9, 11, MP
13. Oa Ab Ob a b Aa
10, Com
14. Oa
13, Simp
15. Ob a b Aa Oa Ab
5, Com
16. Ob
15, Simp
17. a b Aa Oa Ab Ob
5, Com
18. a b
17, Simp
19. Pa Oa Pb Ob a b
8, 14, 12, 16, 18, Conj
20. (z)[(Pz Oz) (z = a z = b)]
AIP
21. (z)[(Pz Oz) (z = a z = b)]
20, QN
22. [(Pc Oc) (c = a c = b)]
21, EI
23. [(Pc Oc) (c = a c = b)]
22, Impl
24. (Pc Oc) (c = a c = b)
23, DM
25. Pc Oc (c = a c = b)
24, DN
26. (y)(z)[(Pa Oa Py Oy Pz Oz)
(a = y a = z y = z)] 3, UI
27. (z)[(Pa Oa Pb Ob Pz Oz)
(a = b a = z b = z)] 26, UI
28. (Pa Oa Pb Ob Pc Oc)
(a = b a = c b = c)
27, UI
29. Pc Oc
25, Simp
30. Pa Oa Pb Ob
19, Simp
31. Pa Oa Pb Ob Pc Oc
29, 30, Conj
72
32. a = b a = c b = c
33. a = c b = c
34. (c = a c = b) Pc Oc
35. (c = a c = b)
36. (a = c c = b)
37. (a = c b = c)
38. (a = c b = c) (a = c b = c)
39. (z)[(Pz Oz) z = a z = b)]
40. (z)[(Pz Oz) z = a z = b)]
41. Pa Oa Pb Ob a b
(z)[(Pz Oz) (z = a z = b)]
42. (y){Pa Oa Py Oy a y
(z)[(Pz Oz) (z = a z = y)]}
43. (x)(y){Px Ox Py Oy x y
(z)[(Pz Oz) (z = x z = y)]}
28, 31, MP
18, 32, DS
25, Com
34, Simp
35, Id
36, Id
33, 37, Conj
20-38, IP
39, DN
19, 40, Conj
41, EG
42, EG
28. Cn Cn
29. a n
30. c = n
31. Rc Cc
32. Rc a c Sa La Ra Sc Lc
33. Rc
34. Cc
35. Cn
36. Cn Sn Ln
37. Cn
38. Cn Cn
39. (Sn Cn Ln)
40. Sn Cn Ln
41. (Sn Cn) Ln
42. (Sn Cn) Ln
46. Pa
47. (a n)
48. a = n
49. n = a
50. Dn (x)[(Sx Dx) x = n] Sn
51. Dn
52. Da
53. Da
54. Da Da
55. (y)[(Sy Ry) y = c]
56. (y)[(Sy Ry) y = c]
57. Sc Rc (y)[(Sy Ry) y = c]
58. (x){Sx Rx (y)[(Sy Ry) y = x]}
45, Simp
44, 46, MT
47, DN
48, Id
2, Com
50, Simp
49, 51, Id
36, Simp
52, 53, Conj
23-54, IP
55, DN
22, 56, Conj
57, EG
76