Exercise 1.2_澳门葡京手机版app下载

joachkr
2025-03-03T16:54:50.941Z
type:structured-message
www.uio.no

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.