Propositional logic is the entry point to discrete mathematics. It's one of the foundational pillars of computer science. Whether you know it or not, everyday you indirectly use ideas from propositional logic while using a computer, surfing the Web, or interfacing with electronic devices.
In this mini course, my aim is to quickly teach you the very fundamentals of propositional logic such that you develop the intuition behind natural, deductive reasoning and are able to formalize English sentences into well-defined propositional expressions.