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