Homework for Philosophy 270, Fall 2012
Homework on §7.5—assigned Wed 11/7 and due Fri 11/9
(to PDF format)
Use derivations to show:
∀x (Rxx → ¬ Hx), ∀x (¬ ∀y Rxy → ¬ Gx) ⊨ ∀x (Gx → ¬ Hx)
Analyze and restate using unrestricted quantifiers:
Al said nothing to anyone