Homework for Philosophy 270, Fall 2012
Homework on §3.3—assigned Wed 9/19 and due Fri 9/21
(to PDF format)
Construct a derivation to show the following (without using Adj):
¬ (¬ D ∧ C), C ⊨ D