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