HW #3

Reminder: Each HW problem solution should consist of:

• a restatement of the entire problem (you may copy it word for word),
• followed by a complete solution with all intermediate steps shown.

All exercises are from §1.3 (predicates & quantifiers) and §1.4 (nested quantifiers).

1. p. 47: 6
   • Translate 6 quantified propositions into English.
   • 3 points each; total = 18 points

   ---

2. p. 47: 10
   • Translate 5 English sentences into quantified propositions.
   • 3 points each; total = 15 points

   ---

3. p. 47: 12
   • Determine the truth values of 7 quantified propositions.
   • 3 points each; total = 21 points

   ---

4. p. 59: 12a, b, d, f, g, h, i, j
   • Translate 8 English sentences into propositions with quantifiers.

   • Note: You will need to come up with terms for individuals (like "Jerry" or "Rachel");
     be sure to give the syntax and semantics for these
     (e.g., j = Jerry)

   • 3 points each; total = 24 points

Grand total = 78 points.

Tentative grading scheme:

A       75 - 78
A-      70 - 74
B+      66 - 69
B       62 - 65
B-      57 - 61
C+      53 - 56
C       44 - 52
C-      36 - 43
D+      27 - 35
D       14 - 26
F        0 - 13