First, I am currently reading Zvonkin's Math from three to seven, and he included an essay where he talks about "language support" when solving math problems. Hypothesis was, that to use language, we often need to process complex rules to use the nuanced meanings of words often based on context, which means that if we formulate a word-problem in right way, language can do a lot of heavy lifting, in a simmilar way, you might transform your numeric problem to vector-operations to be able to run it on GPU.
The example he referenced was his attempt to get boys in his math-circle to figure out some abstract notation to discuss complexity of something they built out of blocks. One of the boys attempted to just to replace words he used to describe the build with symbols. This might show that word as a concept is pretty powerful abstraction you can build on top of, and it is already built in to the language we are using :-)
The other thing this reminded me of, w.r.t. of learning the meaning of "or" and "implies", is that (at least in my language), colloquial meaning of "or" is 99% of time synonymous with "either, or", and "a implies b" is often used as "b happens if and only if a already happened".
This explains a lot of struggle I had when learning the boolean algebra/predicate logic, where "or" as well as "implies" have different definitions.