Category:Binding Priority

From ProofWiki
Jump to navigation Jump to search

This category contains results about 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 priorities.


This category has only the following subcategory.