Homework for Philosophy 270, Fall 2011
Homework on §6.4—assigned Wed 10/26 and due Mon 10/31
(to PDF format)
Use derivations to show invalid and present a counterexample to an open gap (you may use either tables or diagrams to present the counterexample):
Rab → G(fa), fa = fb, Raa ∧ Rac ⊨ b = c → Gb