The modern Propositional Logic course for everyone! Master Propositional Logic with projects, challenges and theory.