9
votes
5answers
441 views

What are reasons why some symbols in mathematical logic are not standardized?

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 ...
2
votes
2answers
94 views

Is “iff” the same as equality if each member is a predicate?

"Iff" - if and only if ($\Leftrightarrow$ or $\leftrightarrow$, although the first usually carries a "meta" meaning, something that is not evaluated) - is used in $2x=3\Leftrightarrow x=\frac32$, ...
3
votes
3answers
297 views

In what order are chained implications evaluated? (i.e. $a \implies b \implies c$)

Implication does not appear to be associative: a b c | (a -> b) -> c | a -> (b -> c) F T F | F | T F F F | F | T Is $a ...