Homework on §2.2—assigned Wed 9/9 and due Fri 9/11
Construct a derivation to show:
Notice that this is the same as showing that the argument
is valid, so your derivation should begin with the premises A ∧ B and (C ∧ D) ∧ E on separate lines.