Homework 2 - Negation, proof by contradiction, and truth

Due 2022-09-06.

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