Homework for Philosophy 270, Fall 2008

Homework on §2.3—assigned Fri 9/12 and due Mon 9/15

Construct a derivation to show that the following claim of entailment does not hold, and present a counterexample that divides an open gap:

A ∧ B, (C ∧ D) ∧ E ⇒ D ∧ (C ∧ F)