Homework for Philosophy 270, Fall 2006

Homework on §2.3--assigned Fri 9/8 and due Mon 9/11

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

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