Thread: Math?????
View Single Post
Old 11-24-2013, 07:56 AM
pcuser pcuser is offline
Senior Member
Join Date: Nov 2009
Posts: 164

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.
Reply With Quote