Why is so hard to find a standardisation regarding symbolism and/or terminology in Mathematical Logic ?
We see again and again students asking if e.g. $\rightarrow$ and $\implies$ means the same thing : somebody answer : "yes", somebody answer : "no".
The same thing happens with "tautology" and "validity", with "logical consequence" and "logically implies", and so on …
Why is this problem still with us, and what can we do about it?
Best Answer
I think there is more than one cause of it. My ideas:
And maybe some wanted to confuse everybody :)
To add a bit:
Even with truth tables you see some publications where $0$ stands for true and others where $1$ stands for true. And that is just with two valued logic. If you are lucky you have a book that uses $T$ and $F$ or $\top$ and $\bot$. In either case the $T$ or $\top$ stands for true, and the $F$ or $\bot$ for false. But even so, be warned: always check the meaning first.