Exercise 1.2

At the exercises last tuesday, we did not have time to cover Exercise 1.2.

As a service, I have checked my solution with the tool `boxprover`, and you can see the solution here.

Let me know if you have any trouble deciphering the Fitch Style notation.