Homework for Philosophy 270, Fall 2009

Homework on §6.4—assigned Wed 10/28 and due Mon 11/2

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