This short interactive course walks through the Wason Selection Test and a practical method for testing “if–then” claims in both abstract and real-world settings. You’ll learn a step-by-step approach to identify which cases must be checked to falsify a rule, and then translate those ideas into symbolic logic (variables, negation, and compound connectives). The course covers contrapositives, De Morgan’s laws, the correct negation of implications, and how to produce counterexamples to disprove rules.