The humanities have been hacking human minds for millennia. They've become so good at it it's possible to hack the beliefs of entire populations so subtly those populations don't notice they're being... modified.
This might be more of an issue than knowing what xor does, or how to search a binary tree.
>people, in general, are just not good at logic.
No, people aren't. That's because people's brains are story machines, selected by evolution to work on quick-and-plausible heuristic arguments based on narrative relationships, and not on deep research and formal abstraction.
I wouldn't be surprised if across the population as a whole, only some percentage - less than half, more than a third, maybe - is capable of non-trivial formal logic at all.
Most people seem far more swayed and interested in by simple stories with an emotional punchline. The idea that you even can do formal modelling of the future is personally unfamiliar to them.