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

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.)