Homework 1 - Propositions, logic, and deduction

Due 2022-08-26.

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