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

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