Homework for Philosophy 270, Fall 2006

Homework on §3.4—assigned Fri 9/22 and due Mon 9/25

Use a derivation to show the following argument is not formally valid and present a counterexample that divides a dead-end gap:

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