I notice programming stuff leaks into my thinking and writing often but I actually enjoy the various constructs that help clarify thinking. I don’t have any formal background in logic tho :(
What are some useful and accessible logical tools/operators/symbols that help in thinking+“pseudocode” Edit: definitely useful math/cs/logical symbols are particularly interesting
If you can, please copy/paste the actual unicode symbol or whatever
Well maybe this is too basic but here are the most important to me:
formal implication:
X ⇒ Y (X implies Y)
means that if X is true, Y is also true. Note that the reverse is not necessarily true, Y being true does not mean X is true (or that X is false). There is truly a staggering number of people who make this mistake in thinking all the time. And If X ⇒ Y and Y ⇒ X then X ⇔Y (X if and only if Y).
Understanding ∀ (for all) and ∃ (there exists) is also very valuable.
Understanding these concepts is enough to understand the basic notation of a lot of math, with it you can start reading basic math papers and really expand your horizons.