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

Use a derivation to show: ∃x ∃y (Fy ∧ Rxy) ⊨ ∃y ∃x Rxy