Homework on §8.3—assigned Fri 12/2 and due Mon 12/5

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

Al bought at least two tickets, but someone else won

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