Homework for Philosophy 270, Fall 2008

Homework on §6.3—assigned Wed 10/29 and due Mon 11/3

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 → Rca, fa = fb, Raa ∧ Rac ⇒ b = c → Rcb