[a-nikolaev]

Programming languages generally capture only some specific logic (or some specific kind of math) in their semantics.

Certain concepts like the law of excluded middle (either A or not A must hold), and proofs by contradiction that are common in math, simply don't exist in programming. That's because programming is based on constructive logic / constructive math foundation.

Learning the basics of logic can be beneficial for a programmer tho, and the connection with functional programming is especially high.