Homework for Philosophy 270, Fall 2008
Homework on §8.5
—assigned Wed 12/10 and due Fri 12/12
Use a derivation to show:
∃x ∃y (Fy ∧ Rxy) ⇒ ∃y ∃x Rxy