Symbolic logic underlies most of mathematics. For instance, it's what is used in geometric proofs. That same logic can be applied the exact same way to finding equivalencies among the various entities in logic puzzles and, at a deeper level, in the puzzles themselves. A course in symbolic logic formalizes what we do in solving these puzzles.
