Homework for Philosophy 270, Fall 2006
Homework on §7.5
—assigned Mon Wed 11/8 and due Fri 11/10
Use derivations to show the following:
∀x (Rxa → ¬ Gx), ∀x (¬ ∀y Rxy → ¬ Fx) ⇒ ∀x (Fx → ¬ Gx)