Homework for Philosophy 270, Fall 2008

Homework on §7.7—assigned Mon 11/17 and due Wed 11/19

(i) use a derivation to check the following and present a counterexample by using a diagram to describe a structure that divides an open gap:

∀x (Rax → Fx), Raa ⇒ ∀x (Rxa → Fx)

(ii) synthesize an English sentence that has the following analysis:

(∀x: Px) ¬ (∀y: By) Rxy
B: [ _ is a book]; P: [ _ is a person]; R: [ _ read _ ]