Homework on §7.5—assigned Wed 11/9 and due Fri 11/11

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

(ii) Analyze: Only large novae were reported by all observers