3 ms·
Interpreting A⇔B⇔C as (A⇔B)⇔C is utterly non-standard, but admittedly interesting. A⇔B⇔C is usually not a valid expression in any mathematical formalism. But i
by gylterud 7y ago
Interpreting A⇔B⇔C as (A⇔B)⇔C is utterly non-standard, but admittedly interesting.
A⇔B⇔C is usually not a valid expression in any mathematical formalism. But if used informally, A⇔B⇔C is usually meant to mean (A⇔B)∧(B⇔C), just as when you say A=B=C when you actually mean (A=B)∧(B=C).
- rrobukef 7y agohttps://en.wikipedia.org/wiki/Logical_biconditional https://en.wikipedia.org/wiki/Logical_biconditional (A⇔B)⇔C has more in common with the other logical operators: due to it's associativity an interpretation that is, in my opinion, closer than A=B=C. Edit, removed: Note that (A⇔B)∧(B⇔C)) is not one of the two ambiguous options: either (A⇔B)⇔C or (A∧B∧C)∨(¬A∧¬B∧¬C) this is wrong.