Definition:Binding Priority

Definition
The binding priority is the convention defining the order of binding strength of the individual connectives in a logical formula.

Binding priorities can be overridden by using parenthesis in appropriate places. Parenthesis always takes priority over conventional binding priorities.

Also known as

 * Precedence: a higher precedence is the same thing as a tighter binding priority.
 * Rank: a higher rank is the same thing as a tighter binding priority.

Also see

 * Parenthesis