Category:Definitions/Binding Priority

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Binding Priority.
Related results can be found in Category:Binding Priority.


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 priority.