Homework on §8.5—assigned Wed 12/8 and due Fri 12/10

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