Formal logic is the study of the structure of reasoning itself—how arguments are built, when they succeed, and why they fail. In an age of information overload, knowing how to dissect an argument, detect reasoning errors, and construct rigorous proofs is a superpower. This course introduces the foundations of formal logic, with an emphasis on precision, clarity, and critical thinking tools. From everyday statements to abstract puzzles, you will learn how to translate ideas into symbolic form and test their validity.