Semester 1: Logic
See the following pages for introductions to how to use this tool:
Natural Deduction for Propositional Logic
Proof rules for Predicate Logic