Homework for Philosophy 270, Fall 2009
Homework on §8.5
—assigned Wed 12/9 and due Fri 12/11
Use a derivation to show:
∃y (Fy ∧ ∃x Rxy) ⊨ ∃x ∃y Ryx