Homework for Philosophy 270, Fall 2009

Homework on §2.3—assigned Fri 9/11 and due Mon 9/14

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)