Homework for Philosophy 270, Fall 2012
Homework on §4.2—assigned Fri 9/28 and due Mon 10/1
(to PDF format)
Construct a derivation to show the following. Do not use any rules for disjunction other than PC and PE; in particular, do not use the rules MTP and Wk that are introduced in §4.3:
A ∨ B, ¬ (B ∧ ¬ C) ⊨ A ∨ C