Homework for Philosophy 270, Fall 2008
Homework on §3.3
—assigned Wed 9/24 and due Fri 9/26
Construct a derivation to show:
¬ (¬ D ∧ C), C ⇒ D