Logical Form

Textbook Exercises 7.4: 1-10

Using the predicates listed for each assertion, “translate” each of the following into quantified logical form.

1. No managers are sympathetic. (Mx, Sx)

2. Everything is in its right place. (Rx)

3. Some cell phones have no service here. (Cx, Sx)

4. Not everything is settled. (Sx)

5. Radiohead concerts are amazing. (Rx, Ax)

6. Nothing is everlasting. (Ex)

7. Not every earthquake is destructive. (Ex, Dx)

8. Very few people do not like Mac computers. (Px, Mx)

9. Only registered voters can vote in the next election. (Rx, Vx)

10. Not everyone disapproves (i.e., does not approve) of the president’s cabinet selections. (Ax)

B)

Textbook Exercises 7.6: 5-9

Translate each of the following arguments into quantified form and prove that each is valid using natural deduction. The letters that follow each argument give the predicate letters to use in symbolizing the argument.

5. If all store supervisors are wise, then some employees benefit. If there are some store supervisors who are not wise, then some employees benefit. As you can see, either way, some employees benefit. (S, W, E, B)

6. If someone studies philosophy, then all students benefit. If someone studies literature, then there are some students. So if someone studies philosophy and literature, then someone benefits. (P, B, L, S)

7. Everyone is a Democrat or a Republican, but not both. If someone is a Democrat, then she is a liberal or a conservative. All conservatives are Republican. So all Democrats are liberal. (D, R, L, C)

8. If there are any mavericks, then all politicians are committed to change. If there are any politicians, then anyone who is committed to change is pandering. So, if there are any mavericks, politicians are pandering. (M, P, C, A (for “pandering”))

9. If everyone is a liberal, then no one is a conservative. There is a governor of Alaska and she is a conservative. So at least someone is not a liberal. (L, C, G)

C)