Homework for Philosophy 270, Fall 2009

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

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