6th Homework: Due Friday, 10/18/02

1. Using the lexicon below translate each of the sentences following into quantification theory.  You may use only predicates and constants in the lexicon, doing as well as you can with just those.

H²:      ¬ hates  ­
S¹:       ¬ is smart
I²:        ¬ insults  ­
U¹:       ¬ understands love
L²:       ¬ loves  ­
L¹:       ¬ is a lawyer
F¹:       ¬ is fat
D^1:       ¬ is a doctor
R¹:       ¬ is rich
P¹        ¬ is a plumber
j:         Jeremy

1. All lawyers are smart.

2. No doctors understand love.

3. Some plumbers are rich.

4. Not all doctors are smart.

5. Some rich doctor loves Jeremy.

6. Some plumber insults all smart doctors.

7. No rich doctor insults any smart lawyer.

8. Every rich plumber hates some smart doctor.

9. Some rich plumber hates every smart doctor.

10. No smart plumber whom any rich doctor loves hates any fat lawyer who understands love