Homework for Philosophy 270, Fall 2006

Homework on §4.2—assigned Fri 9/29 and due Mon 10/2

Construct a derivation to show the following and note the full range of your options at the first stage:

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