precedence problem of multiple implication operators in logics

980 Views Asked by At

Should

a→b→c

be read as

(a→b)→c

or

a→(b→c)?

I used a online truth table generator (http://logic.stanford.edu/intrologic/secondary/applications/babbage.html) to test and got a→(b→c) is the correct one.

But on this article it says logician use (a→b)→c See:Boolean algebra operation precedence?

So I wondered in the field of logics, which would be the norm to read sentence with multiple implication operators such as a→b→c .

1

There are 1 best solutions below

0
On

This depends on convention, just like the precedence between different operators like $\neg, \land, \lor$ etc.

I think that usually, the connective is interpreted right-associative, i.e.

$a \to b \to c \Leftrightarrow a \to (b \to c)$

but that depends on what the author specified.