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