I have no formal math background but I did take some propositional logic classes and more than a decade later they remain by far the most useful courses I ever took. I'm really surprised that they're not standard/easily skippable in CS curricula.