Homework on §8.5—assigned Wed 12/7 and due Fri 12/9

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