Homework for Philosophy 270, Fall 2008

Homework on §3.5—assigned Mon 9/29 and due Wed 10/1

Construct a derivation for the following claim of entailment and, for each stage, tell (i) which gap you chose to work on, (ii) the proximate argument of the gap and the (basic) rules that could have been applied, and (iii) the rule you applied (if any could be applied):

¬ (A ∧ ¬ B) ∧ C, A ∧ D ⇒ B ∧ D

The following worksheet is designed for this sort of exercise.