Homework for Philosophy 270, Fall 2011
Homework on §2.2—assigned Wed 9/7 and due Fri 9/9
(to PDF format)
Construct a derivation to show:
A ∧ B, (C ∧ D) ∧ E ⊨ C ∧ (B ∧ D)
Notice that this is the same as showing that the following argument is valid:
A ∧ B
(C ∧ D) ∧ E
C ∧ (B ∧ D)
So your derivation should begin with the premises A ∧ B and (C ∧ D) ∧ E on separate lines.