Category:Binding Priority

From ProofWiki
Jump to navigation Jump to search

This category contains results about Binding Priority.
Definitions specific to this category can be found in Definitions/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.


This category has only the following subcategory.