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