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