\begin{definition}[Definition:Binding Priority/Propositional Logic]
The binding priority convention which is almost universally used for the connectives of propositional logic is:
:$(1): \quad \neg$ binds more tightly than $\lor$ and $\land$
:$(2): \quad \lor$ and $\land$ bind more tightly than $\implies$ and $\impliedby$
:$(3): \quad \implies$ and $\impliedby$ bind more tightly than $\iff$
Note that there is no overall convention defining which of $\land$ and $\lor$ bears a higher binding priority, and therefore we consider them to have equal priority.
Because of this fact, ''unless specifically defined'', expressions such as $p \land q \lor r$ can not be interpreted unambiguously, and parenthesis ''must'' be used to determine the exact priorities which are to be used to interpret particular statements which may otherwise be ambiguous.
Most sources do not recognise the use of $\impliedby$ as a separate connective from $\implies$, so the priority of one over the other is rarely a question.
\end{definition}