Q03: Quiz 3

Task

Quiz on rules of inference, proofs, and sets.