Homework for Philosophy 270, Fall 2008

Homework on §3.4—assigned Fri 9/26 and due Mon 9/29

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

¬ (A ∧ ¬ B)
¬ (A ∧ B)