Homework 3 - Proof vs truth and some useful formula

Due 2022-09-06.

You can find and submit the assignment on our Github Classroom.