[Discrete Mathematics] Propositional Logic Intro