Homework on §2.2—assigned Wed 9/10 and due Fri 9/12

Construct a derivation to show: D ∧ (A ∧ C), B ∧ E ⇒ (A ∧ B) ∧ C. (Notice that this is the same as showing that the argument

is valid. That means that your derivation should begin with the premises D ∧ (A ∧ C) and B ∧ E on separate lines.)