Tagged Questions
3
votes
3answers
209 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 ...
