Could use some help with a Natural Deduction proof

Printable View