| Phi 270 Fall 2013 |
|
(Site navigation is not working.) |
Homework for Philosophy 270, Fall 2013
Homework on §2.2—assigned Wed 9/11 and due Fri 9/13
(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.