I think the skill is taught, rather than innate.
I'd agree with that for some reasoning skills. I'm not a big fan of evolutionary psychology (even a well-controlled experiment with an outcome that is as good as any could be still suffers from the problem of explaining how it might have been beneficial in any number of possible ways). That said, there are clearly some ways in which biases help us survive or at least perform better in most cases, while causing us to fail almost all the time in others.
For an innate judgment that is an advantage, my go-to example is coin flips. Given a fair coin and 20 tosses (H representing heads and T tails), which of the two is more likely?
HHTHTTTHTTTHHHHHTTHT
TTTTTTTTTTTTTTTTTTTTT
Human intuition tells us correctly that the second toss sequence is extremely unlikely, while the first looks more like what we'd expect. We look for patterns, which is absolutely essential for us, but in this case tends to give most people the wrong answer. It is true that we'd expect something more like the first sequence, but that wasn't the question. Both sequences are equally likely. However, without that ability to abstract from specific sequences language and cognition would be incredibly limited.
Computers run completely according to precise operations. The architecture is literally a physical instantiation of Boolean logic. As such, a computer will easily give you the probability of both sequences. However, it takes an enormous amount of work to get a computer to recognize a mix of H's and T's as more likely than all or nearly all H's or T's.
Or there's conditionals: "if you're hungry, there's food on the table." Logically, this means that if you aren't hungry, there isn't food. Clearly, that's not what it actually means. In fact, the statement is logically true if you aren't hungry and there isn't food on the table.
The reason that cognitive psychologists, computer scientists, mathematicians, linguists, and logicians have all participated in a 50+ year quest to get computers to learn more than just procedures is because some of these people study how humans learn, while others try to get computers to do this (and others both). If you practice a skill over and over again, but you were given poor instructions, it becomes advantageous to be able to unlearn that. However, the more quickly one can unlearn whatever it is they learned inaccurately, the more quickly they can unlearn everything.
Logic, precision, deduction & induction, and all other formal reasoning practices are, to some degree, counter to what enables humans to learn languages and think abstractly. We understand "car" such that if we see one we've never seen before, we require no rational processes and application of fuzzy Bayesian inference to calculate the odds that it's a car. We just know. We know because our perceptual system evaluates input using a conceptual network and classifies it accordingly. I don't need measure every branch to determine whether something is a bush or a tree, I don't need to count the number of windows and doors to distinguish a home from a building, all because human cognition is imprecise.
Which is great...right up until you need to use logic, precision, and deduction/inductions.
Which is why this:
I think that logic should be a mandatory class in high school.
couldn't be more true.