Logic is a strange area since it bridges fields, primarily math, philosophy, linguistics and computer science.

In my experience, designing software more frequently taps into logic as applied to philosophical arguments and conceptual formal logic more than heavily mathematical areas of logic. The reason is that creating software is basically the process of taking something from the real world and reducing it to a series of logical components and relationships. This is pretty much the exact process for applying formal logic to philosophical questions.

On the other hand, actually coding the software taps far more into the mathematical and linguistic aspects of formal logic, since it's involves piecing together units of mathematical logic to construct a logical machine.

In practice, this whole process is obviously more nuanced, interconnected and filled with gray areas.

It's also certainly possible to argue that all reasoning is math, but this isn't a new concept and dates back to Plato.