Motivation & Introduction to Propositional Logic