| Phi 270 Fall 2013 |
|
(Site navigation is not working.) |
Homework for Philosophy 270, Fall 2013
Homework on §3.4—assigned Fri 9/27 and due Mon 9/30
(to PDF format)
Use a derivation to show the following fails to hold generally and confirm a counterexample lurking in a dead-end gap:
¬ ((A ∧ B) ∧ ¬ C), A ⊨ C