Homework for Philosophy 270, Fall 2006

Homework on §7.7—assigned Mon 11/13 and due Wed 11/15

Use a derivation to check the following and present a counterexample by using a dia-gram or tables to describe a structure that divides an open gap:

∀x (Rxa → Fx), ∀x (Gx → Fx), Raa ∧ Ga ⇒ ∀x (Rxa → Gx)