Homework for Philosophy 270, Fall 2012
Homework on §6.4—assigned Wed 10/24 and due Mon 10/29
(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 → R(fa)a, fa = c, Raa ∧ Rab ⊨ fb = c → R(fb)b