A formal logic class (whether heavy on symbols or not) would be a good idea for everyone.
Can you point to any evidence whatsoever that people trained in "formal logic" actually make better real life decisions?
Formal logic is not even particularly useful for logic design. The software tools do it for you. I haven't written out a Karnaugh map in 20 years.