34. Take a problem from words to proof
Follow a complete logic project from an informal problem to definitions, formal language, proof attempts, countermodels, tool support, review, and final explanation. You will practice choosing the right level of formality for the job.