| Phi 270 Fall 2013 |
|
(Site navigation is not working.) |
Homework for Philosophy 270, Fall 2013
Homework on §6.4—assigned Wed 10/30 and due Mon 11/4
(to PDF format)
Use derivations to check the following, presenting a counterexample if it fails (you may use either tables or diagrams to present the counterexample):
Rab → G(fa), fa = fb, Raa ∧ Rac ⊨ b = c → Gb