Homework for Philosophy 270, Fall 2008

Homework on §4.2—assigned Fri 10/3 and due Mon 10/6

Construct a derivation to show the following and note all of the possible ways of developing the derivation at the first stage (do not use any rules for disjunction other than PC and PE):

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