Homework for Philosophy 270, Fall 2011
Homework on §2.3—assigned Fri 9/9 and due Mon 9/12
(to PDF format)
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)