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
Knowing the difference between exclusive and inclusive OR is pretty helpful. XOR is super useful in programming and is even the basis for one of the few “perfect” encryption systems
Exclusive OR is usually just written as XOR, but if you’re dying to use a symbol: ⊕