Homework on §8.3—assigned Fri 12/3 and due Mon 12/6

(i) Analyze the following in as much detail as possible:

Sam saw at least 2 deer but no one else saw any

(ii) Use derivations to show: ∀x (∀y: Fy) Rxy ⇒ (∀x: Fx) ∀y Ryx