Homework for Philosophy 270, Fall 2011
Homework on §7.7—assigned Mon 11/14 and due Wed 11/16
(to PDF format)
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)
analyze and restate using unrestricted quantifiers:
No one who attempts everything finishes anything
synthesize an English sentence that has the following analysis:
(∀x: Bx) ¬ (∀y: Py) Rxy
(B: [ _ is a book]; P: [ _ is a person]; R: [ _ has been read by _ ])