Homework on §4.2—assigned Fri 10/2 and due Mon 10/5

Construct a derivation to show the following and note any other rules you might have applied at the first stage but didn’t (do not use any rules for disjunction other than PC and PE):